عنوان

Formal verification :

0128008156

9780128008157

9780128007273

dltt

Formal verification :

[Book]

an essential toolkit for modern VLSI design /

Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar

1 online resource (1 volume) :

illustrations

Includes bibliographical references and index

Safari Books Online

CL0500000626

Essential toolkit for modern very-large scale integration design

Essential toolkit for modern VLSI design

Electronic circuits-- Testing

Integrated circuits-- Very large scale integration-- Design and construction

Verilog (Computer hardware description language)

TK7867

Seligman, Erik

Kumar, M V Achutha Kiran

Schubert, E. Thomas,1959-

Ohio Library and Information Network

20150818145108.0

[Book]