Title: Assertion-based design
First published: 2003
Subjects: Circuits & components, General Theory of Computing, Verilog (Computer hardware des, Engineering - Electrical & Electronic, Computers - General Information, Very large scale integration, Verification, Art, Logic Design, General, Electronics - Circuits - General, Technology / Electronics / Circuits / General, Verilog (Computer hardware description language), Design and construction, Integrated circuits
LC classification: TK