TY  - BOOK
AU  - Seligman,Erik
AU  - Schubert,Tom
AU  - Kumar,M.V.Achutha Kiran
TI  - Formal verification: an essential toolkit for modern VLSI design 
SN  - 9780128007273
AV  - TK7867 S464
PY  - 2015///
CY  - Waltham, Massachusetts
PB  - Elsevier, Morgan Kaufmann
KW  - Circuitos integrados en muy gran escala
KW  - Diseño y construcción
KW  - Circuitos electrónicos
KW  - Pruebas
ER  -