TY  - BOOK
AU  - Rashinkar, Prakash. Paterson, Peter. Singh, Leena.
TI  - System-on-a-chip verification : methodology and techniques
SN  - 0-7923-7279-4
U1  - 621.395  RAS;1  R 
PY  - 2001///
CY  - Boston
PB  - Kluwer
KW  - System-on-a-chip,verification,:,methodology,techniques
ER  -