TY  - BOOK
AU  - Dasgupta Pallab 
TI  - A roadmap for formal property verification
SN  - 9781402047572
U1  - 621.3815 DAS 
PY  - 2006///
CY  - New Delhi
PB  -  Springer, 
KW  -  Integrated circuits -- Verification
KW  - TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- Integrated
KW  - TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- General
N1  - Include Index
ER  -