عنوان
پدید آورنده
موضوع
رده
TK 7867 .S46F6
TK
7867
.
S46F6
کتابخانه
محل استقرار
Formal verification : an essential toolkit for modern VLSI design
Amsterdam
Elsevier/Morgan Kaufmann
c2015
xvii, 353 p.: ill.
Includes bibliographies
ISBN: 9780128007273
Erik Seligman, Tom Schubert, M. V. Achutha Kiran Kumar
1
Testing ، Electronic circuits
Design and construction ، Integrated circuits -- Very large scale integration
، Verilog )Computer hardware description language(
TK
7867
.
S46F6
NO
Seligman, Erik
AU
AU Schubert, E. Thomas, 1959-
AU Kumar, M. V. Achutha Kiran
TI
