This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Jayanta Bhadra, Freescale Semiconductor
Magdy S. Abadir, Freescale Semiconductor
Li-C. Wang, University of California, Santa Barbara
Hybrid techniques are effective for exploring interesting corner cases, coverage holes, invariant variations, and so forth, in the general area of directed functional validation. However, despite the emergence of several effective hybrid validation techniques, several questions still remain. The five articles in this special issue help explain some of the different facets of this area.
Index Terms:
hybrid technique, functional validation, simulation, formal verification
Citation:
Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang, "Guest Editors' Introduction: Attacking Functional Verification through Hybrid Techniques," IEEE Design & Test of Computers, vol. 24, no. 2, pp. 110-111, March-April 2007, doi:10.1109/MDT.2007.45
Usage of this product signifies your acceptance of the Terms of Use.