Principles of verifiable RTL design

Principles of verifiable RTL design2000
Details
- First published
- 2000
- OL Work ID
- OL12332167W
Subjects
Computer-aided designElectronic digital computersVery large scale integrationIntegrated circuitsVerilog (Computer hardware description language)Machine TheoryComputer-aided desiCOMPUTERSComputer EngineeringGeneralHardwareEngineeringElectrical engineeringProgramming languagesSystems analysis & designVery-Large-Scale Integration (Vlsi)Science/MathematicsEngineering - Electrical & Electronic