Title: Assertion-based design
First published: 2003
Subjects: Integrated circuits, Very large scale integration, Verification, Verilog (Computer hardware description language), Design and construction, General Theory of Computing, Logic Design, Technology, Computers - General Information, Verilog (Computer hardware des, Science/Mathematics, Technology / Electronics / Circuits / General, Electronics - General, Integrated circuits, very large scale integration, Verilog (computer hardware description language)