A Roadmap for Formal Property Verification
Edition: 1 edition
Publisher: Springer
Published: July 28, 2006
Language: eng
Format: Hardcover
Number of pages: 251
ISBN-13: 9781402047572
Subjects: Engineering: general; Logic; Computers; Technology & Industrial Arts; Computer Books: General; Electronics - Circuits - General; Logic Design; FPV methods; Technology / Electronics / Circuits / General; VLSI Design Verification; design intent coverage; formal verification; system verilog assertions; Integrated circuits; Verification