Title :
Coverage metrics for functional validation of hardware designs
Author :
Tasiran, Serdar ; Keutzer, Kurt
Author_Institution :
Compaq Comput. Corp., Palo Alto, CA, USA
Abstract :
Software simulation remains the primary means of functional validation for hardware designs. Coverage metrics ensure optimal use of simulation resources, measure the completeness of validation, and direct simulations toward unexplored areas of the design. This article surveys the literature, and discusses the experiences of verification practitioners, regarding coverage metrics
Keywords :
formal verification; logic CAD; logic simulation; logic testing; coverage metrics; functional validation; hardware designs; simulation resources; Analytical models; Area measurement; Computational modeling; Computer bugs; Computer industry; Formal verification; Hardware; Particle measurements; System testing; Virtual manufacturing;
Journal_Title :
Design & Test of Computers, IEEE
