Vista normal Vista MARC Vista ISBD

Seligman, Erik,

Formal verification : an essential toolkit for modern VLSI design / Erick Seligman, Tom Schubert, M. V. Achutha Kira Kumar - 353 páginas : ilustraciones

ISBN: 9780128007273

Subjects--Topical Terms:
Circuitos integrados en muy gran escala--Diseño y construcción
Circuitos electrónicos--Pruebas

LC Class. No.: TK7867 / S464