TY - BOOK AU - Rashinka, Prakash TI - System-On-A-Chip verification: : methodology and techniques SN - 9780792372790 U1 - 621.395 RAS PY - 2001/// CY - Boston, MA PB - Kluwer Academic Publishers KW - Prakash Rashinkar KW - Peter Paterson KW - Leena Singh KW - System-On-A-Chip verification : methodology and techniques KW - Electronic digital computers -- Design and construction KW - System design ER -