Assertion-based design

Assertion-based design2003
Harry Foster, David J. Lacey, Harry D. Foster, Adam C. Krolnik
Details
- First published
- 2003
- OL Work ID
- OL2443841W
Subjects
Circuits & componentsGeneral Theory of ComputingVerilog (Computer hardware desEngineering - Electrical & ElectronicComputers - General InformationVery large scale integrationVerificationArtLogic DesignGeneralElectronics - Circuits - GeneralTechnology / Electronics / Circuits / GeneralVerilog (Computer hardware description language)Design and constructionIntegrated circuits