TY - BOOK AU - Rashinkar,Prakash TI - System-on-a-chip Verification :Methodology &Techniques U1 - 621.042 RAS,P PY - 2001/// CY - London PB - Kluwer Academe ER -