System-on-a-chip verification. Methodology and techniques

zbMATH Open0973.68662MaRDI QIDQ2734777

Peter Paterson, Prakash Rashinkar, Leena Singh

Publication date: 23 August 2001

zbMATH Keywords

verification

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Computer system organization (68M99)

Related Items (3)

Title not available (Why is that?) ⋮ On-Chip Instrumentation ⋮ HASoC --- towards a new method for system-on-a-chip development

This page was built for publication: System-on-a-chip verification. Methodology and techniques

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2734777)