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)
Description
Physical Description:xvii, 353 pages : illustrations ; 24 cm
Bibliography:Includes bibliographical references and index.
ISBN:9780128007273 (pbk.)
0128007273 (pbk.)