Assertion-Based Design
Edition: 1 edition
Publisher: Springer
Published: June 1, 2003
Language: eng
Format: Hardcover
Number of pages: 392
ISBN-13: 9781402074981
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
First sentence: Ensuring functional correctness on RTL designs continues to pose one of the greatest challenges for today's ASIC and SoC design teams.