Formal Verification - An Essential Toolkit for Modern VLSI Design (Paperback, 2nd edition)

Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes. New sections cover advanced techniques, and a new chapter, The Road To Formal Signoff, emphasizes techniques used when replacing simulation work with Formal Verification. After reading this book, readers will be prepared to introduce FV in their organization to effectively deploy FV techniques that increase design and validation productivity.

General

Imprint:	Academic Press Inc
Country of origin:	United Kingdom
Release date:	May 2023
First published:	2023
Authors:	Erik Seligman • Tom Schubert • M. V. Achutha Kiran Kumar
Dimensions:	235 x 191mm (L x W)
Format:	Paperback
Pages:	508
Edition:	2nd edition
ISBN-13:	978-0-323-95612-3
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Computer programming > General Books > Computing & IT > Applications of computing > General Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Electronic devices & materials > Microprocessors Promotions
LSN:	0-323-95612-2
Barcode:	9780323956123

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!