TY - BOOK AU - Rashinkar, Prakash AU - Singh, Leena AU - Paterson, Peter TI - System-On-A-Chip Verification : methodology and Techniques SN - 0792372794 U1 - 621.395 RAS PY - 2000/// CY - London PB - Kluwer Academic Publishers KW - System design KW - Computer software -- Development ER -