Assertion-based design
by Harry Foster, Harry D. Foster, Adam C. Krolnik, David J. Lacey · 2003

No description available.
Circuits & componentsGeneral Theory of ComputingVerilog (Computer hardware desEngineering - Electrical & ElectronicComputers - General InformationVery large scale integrationVerificationArtLogic DesignGeneralElectronics - Circuits - GeneralTechnology / Electronics / Circuits / General