Cover Image

Formal verification : an essential toolkit for modern VLSI design /

Show other versions (2)
Bibliographic Details
Main Authors: Seligman, Erik (Author), Schubert, E. Thomas, 1959- (Author), Kumar, M. V. Achutha Kiran (Author)
Format: Book
Language:English
Published: Amsterdam ; Boston : Elsevier/MK, Morgan Kaufmann is an imprint of Elsevier, [2015]
Subjects:
Electronic circuits > Testing.
Integrated circuits > Very large scale integration > Design and construction.
Verilog (Computer hardware description language)
Show all versions (3)