TY  - GEN
AU  - Seligman, Erik 
AU  - Schubert, Tom 
AU  - Kumar,  M V Achutha Kiran 
TI  - Formal verification: an essential toolkit for modern VLSI design
SN  - 9780128007273
U1  - 621.395 SEL/F 
PY  - 2015///
CY  - Amsterdam
PB  - Morgan Kaufmann/Elsevier
KW  - Integrated circuits -- Very large scale integration -- Design and construction
ER  -