editions:ISBN0123704901 - Google grāmatas

F. Brewer: Clairvoyant: A Synthesis System for ProductionBased Specification, IEEE Transactions on VLSI Systems, pp.

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

Architecture Design and Validation Methods

Egon Börger - 2000 - 376 lapas

...Thesis, University of California, Santa Barbara, UMI order 9500298, June 1994. 81. A. Seawright and F. Brewer: Clairvoyant: A Synthesis System for ProductionBased...Specification, IEEE Transactions on VLSI Systems, pp. 172-185, June 1994. 82. A. Seawright and F. Brewer: High-level Symbolic Construction Techniques...

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