![Logic in computer science / Digital electronics / Logic synthesis / Logic simulation / High-level synthesis / Verilog / Actor model / Abstraction / Programming language / Electronic engineering / Electronic design automation / Electronic design Logic in computer science / Digital electronics / Logic synthesis / Logic simulation / High-level synthesis / Verilog / Actor model / Abstraction / Programming language / Electronic engineering / Electronic design automation / Electronic design](https://www.pdfsearch.io/img/fb4becd387c84b73b8e42b424c1b5e3b.jpg) Date: 2001-09-19 15:58:20Logic in computer science Digital electronics Logic synthesis Logic simulation High-level synthesis Verilog Actor model Abstraction Programming language Electronic engineering Electronic design automation Electronic design | | Digital Design Derivation 1. Introduction This research applies formal methods in logic, verification, and synthesis to digital design engineering. The work centers on the use of applicative notation for system descriptAdd to Reading ListSource URL: www.cs.indiana.eduDownload Document from Source Website File Size: 112,37 KBShare Document on Facebook
|