TY  - BOOK
AU  - PALNITKAR SAMIR
TI  - DESIGN VERIFICATION WITH E 
SN  - 8129705370
PY  - 2005///
CY  - SINGAPORE
PB  - PEARSON
ER  -