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. 112-122 2007 24 IEEE Design & Test of Computers 2 http://doi.ieeecomputersociety.org/10.1109/MDT.2007.30 db/journals/dt/dt24.html#BhadraAWR07