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]
@article{BhadraAWR07,
title = {A Survey of Hybrid Techniques for Functional Verification},
author = {Jayanta Bhadra and Magdy S. Abadir and Li-C. Wang and Sandip Ray},
year = {2007},
doi = {10.1109/MDT.2007.30},
url = {http://doi.ieeecomputersociety.org/10.1109/MDT.2007.30},
tags = {survey, C++},
researchr = {https://researchr.org/publication/BhadraAWR07},
cites = {0},
citedby = {0},
journal = {IEEE Design & Test of Computers},
volume = {24},
number = {2},
pages = {112-122},
}