Digital system verification: a combined formal methods and simulation framework
Auteur :
Li, Lun / Thornton, Mitchel
Éditeur :
Springer International Publishing AG
ISBN :
9783031798146
Date de publication :
18 févr. 2010
Dimensions :
23,5 x 19,1 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book focuses on an Integrated Design Validation (IDV) system that provides a framework for design validation and takes advantage of current technology in the areas of simulation and formal verification resulting in a practical validation engine with reasonable runtime.