editions:ISBN0123704901 - Google grāmatas

... 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 ... - 272. lappuse
autors: Marc Boulé, Zeljko Zilic - 2008 - 280 lapas
Ierobežota priekšskatīšana - Par šo grāmatu

On-Chip Communication Architectures: System on Chip Interconnect

Sudeep Pasricha, Nikil Dutt - 2010 - 544 lapas

...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...

Ierobežota priekšskatīšana - Par šo grāmatu