000 00226 a2200073 4500
100 _aPrakash Rashinkar, Peter Paterson, Leena Singh
_998378
245 _aSystem on a Chip Verification: Methodology and Techniques
260 _bSpringer
999 _c148565
_d148565