Assertion-based design

Assertion-based design2003
David J. Lacey, Harry D. Foster, Adam C. Krolnik, Harry Foster
Details
- First published
- 2003
- OL Work ID
- OL12658086W
Subjects
Integrated circuitsVery large scale integrationVerificationVerilog (Computer hardware description language)Design and constructionGeneral Theory of ComputingLogic DesignTechnologyComputers - General InformationVerilog (Computer hardware desScience/MathematicsTechnology / Electronics / Circuits / GeneralElectronics - GeneralIntegrated circuits, very large scale integrationVerilog (computer hardware description language)