Assertion-based design
by Harry Foster, Harry D. Foster, Adam C. Krolnik, David J. Lacey · 2003
No description available.
Integrated circuitsVery large scale integrationVerificationVerilog (Computer hardware description language)Design and constructionGeneral Theory of ComputingLogic DesignTechnologyComputers - General InformationVerilog (Computer hardware desScience/MathematicsTechnology / Electronics / Circuits / General