TY  - BOOK
AU  - Rashinkar Prakash 
AU  - Paterson Peter 
AU  - Singh  Leena
TI  - Systems on a Chip Verification: Methodology and Techniques 
SN  - 9780792372790
U1  - 621.395 RAS 
PY  - 0000///372
CY  - America
PB  - Kluwer Academic Publishers 
ER  -