Google Books

... Springer, 1981. Lecture Notes in Computer Science Number 137. [18] Pascal Raymond. Recognizing regular expressions by means of dataflow networks. In 23rd International Colloquium on Automata, Languages, and Programming, pages 336-347. Springer, 1996....

Generating Hardware Assertion Checkers: For Hardware Verification, Emulation ... - Page 272
by Marc Boulé, Zeljko Zilic - 2008 - 280 pages
Limited preview - About this book

On-Chip Communication Architectures: System on Chip Interconnect

Sudeep Pasricha, Nikil Dutt - Technology & Engineering - 2010 - 544 pages

...Colloquium on Automata, Languages, and Programming, Springer, 1996, pp. 336-347. [68] A. Seawright and F. Brewer, "High-level symbolic construction techniques...performance sequential synthesis," in Proceedings of ACM/IEEE 30th Design Automation Conference (DAC), 1993, pp. 424-428. [69] H. Lin, C.Yen, C. Shih and...

Limited preview - About this book