TY  - GEN
AU  - Prakash Rashinkar, Peter Paterson, Leena Singh
TI  - System on a Chip Verification: Methodology and Techniques
PB  - Springer
ER  -