A Survey of Hybrid Techniques for Functional Verification
Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang, Sandip Kumar Ray · IEEE Design & Test of Computers · 2007
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.