P. P. Jain. Cost-effective co-verification using RTL-accurate C models. In International Symposium on Circuits and Systems (ISCAS 1999), May 30 - June 2, 1999, Orlando, Florida, USA. pages 460-463, IEEE, 1999. [doi]
@inproceedings{Jain99:2,
title = {Cost-effective co-verification using RTL-accurate C models},
author = {P. P. Jain},
year = {1999},
doi = {10.1109/ISCAS.1999.780194},
url = {http://doi.ieeecomputersociety.org/10.1109/ISCAS.1999.780194},
tags = {C++},
researchr = {https://researchr.org/publication/Jain99%3A2},
cites = {0},
citedby = {0},
pages = {460-463},
booktitle = {International Symposium on Circuits and Systems (ISCAS 1999), May 30 - June 2, 1999, Orlando, Florida, USA},
publisher = {IEEE},
isbn = {0-7803-5471-0},
}