TY  - GEN
AU  - Rashinkar, Prakash., Paterson, Peter.,Singh, Leena
TI  - System on a chip verification: methodology and techniques
SN  - 9781475774689
PY  - 2002///
PB  - Springer
ER  -