Cover is for reference only

Formal verification : an essential toolkit for modern VLSI design /

Saved in:
Bibliographic Details
Main Authors: Seligman, Erik
Group Author: Schubert, Tom, 1959; Kumar, M. V. Achutha Kiran
Published: Elsevier,
Publisher Address: Amsterdam :
Publication Dates: [2015]
Literature type: Book
Language: English
Subjects:
Electronic circuits > Testing
Integrated circuits > Very large scale integration > Design and construction
Verilog Computer hardware description language
Carrier Form: xvii, 353 pages : illustrations ; 24 cm
Bibliography: Includes bibliographical references and index.
ISBN: 9780128007273 (paperback) :
Index Number: TK7867
CLC: TN47
Call Number: TN47/S465

Related Book Recommendations