Formal verification : an essential toolkit for modern VLSI design /

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)

Evans: Library Stacks