Title :
A Survey of Hybrid Techniques for Functional Verification
Author :
Bhadra, Jayanta ; Abadir, Magdy S. ; Wang, Li.-C. ; Ray, Sandip
Author_Institution :
Freescale Semicond., Austin, TX
Abstract :
This article surveys recent advances in hybrid approaches for functional verification. These approaches combine multiple verification techniques so that they complement one another, resulting in superior verification effectiveness.
Keywords :
formal verification; logic testing; functional verification; hybrid techniques; Circuits; Computer bugs; Costs; Delay; Formal verification; Hardware; Production; Space exploration; Taxonomy; Time to market; formal techniques; functional verification; hybrid; informal techniques;
Journal_Title :
Design & Test of Computers, IEEE
DOI :
10.1109/MDT.2007.30