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