TY  - BOOK
AU  - Rashinkar, Prakash
AU  - Paterson, Peter
TI  - System-on-a-chip verification: methodology and techniques
SN  - 9780792372790
U1  - 621.395RAS 
PY  - 2003///
CY  - Boston
PB  - Kluwer Academic Publishers
KW  - electronics
N1  - Sibyl, kolkata
ER  -