Verification Techniques for System-Level Design

Auteur: Fujita, Masahiro (Professor, VLSI Design & Education Center, University of Tokyo, Japan.)
Editeur: Elsevier Science & Technology
Explains how to verify SoC logic designs using 'formal' and 'semi-formal' verification techniques. This book covers various aspects of high-level formal and semi-formal verification techniques for system level designs.
Sur commande
Explains how to verify SoC logic designs using 'formal' and 'semi-formal' verification techniques. This book covers various aspects of high-level formal and semi-formal verification techniques for system level designs.
ISBN / EAN 9780123706164
Auteur Fujita, Masahiro (Professor, VLSI Design & Education Center, University of Tokyo, Japan.)
Editeur Elsevier Science & Technology