A Survey of Hybrid Techniques for Functional Verification

Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang, Sandip Ray. A Survey of Hybrid Techniques for Functional Verification. IEEE Design & Test of Computers, 24(2):112-122, 2007. [doi]

Abstract

Abstract is missing.