Frederic Doucet, Robert Kurshan. A methodology to take credit for high-level verification during RTL verification. Formal Methods in System Design, 51(2):395-418, 2017. [doi]
@article{DoucetK17, title = {A methodology to take credit for high-level verification during RTL verification}, author = {Frederic Doucet and Robert Kurshan}, year = {2017}, doi = {10.1007/s10703-017-0299-2}, url = {https://doi.org/10.1007/s10703-017-0299-2}, researchr = {https://researchr.org/publication/DoucetK17}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {51}, number = {2}, pages = {395-418}, }