DocumentCode :
935076
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
Volume :
24
Issue :
2
fYear :
2007
Firstpage :
112
Lastpage :
122
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;
fLanguage :
English
Journal_Title :
Design & Test of Computers, IEEE
Publisher :
ieee
ISSN :
0740-7475
Type :
jour
DOI :
10.1109/MDT.2007.30
Filename :
4237488
Link To Document :
بازگشت