Formal verification : an essential toolkit for modern VLSI design /

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 mat...

Full description

Bibliographic Details
Main Authors:	Seligman, Erik (Author), Schubert, E. Thomas, 1959- (Author), Kumar, M. V. Achutha Kiran (Author)
Corporate Author:	ScienceDirect (Online service)
Format:	eBook
Language:	English
Published:	Cambridge, MA : Morgan Kaufmann, [2023]
Edition:	Second edition.
Subjects:	Electronic circuits > Testing. Integrated circuits > Very large scale integration > Design and construction. Verilog (Computer hardware description language) Verilog (Langage de description de matériel informatique) Electronic circuits > Testing Integrated circuits > Very large scale integration > Design and construction Electronic books.
Online Access:	Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number	Status	Get It
Call Number:		TK7874.75

TK7874.75	Available