Assertion-Based Design (Information Technology: Transmission, Processing & Storage)
Edition: 2nd ed. edition
Publisher: Springer
Published: May 19, 2004
Language: eng
Format: Hardcover
Number of pages: 414
ISBN-13: 9781402080272
Subjects: General Theory of Computing; Verilog (Computer hardware description language); Logic Design; Design and construction; Technology; Computers - General Information; Verilog (Computer hardware des; Science/Mathematics; Verification; Technology / Electronics / Circuits / General; Very large scale integration; Electronics - General; 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.