Mingsong Chen, Prabhat Mishra. Assertion-Based Functional Consistency Checking between TLM and RTL Models. In 26th International Conference on VLSI Design and 12th International Conference on Embedded Systems, Pune, India, January 5-10, 2013. pages 320-325, IEEE, 2013. [doi]
@inproceedings{ChenM13-2,
title = {Assertion-Based Functional Consistency Checking between TLM and RTL Models},
author = {Mingsong Chen and Prabhat Mishra},
year = {2013},
doi = {10.1109/VLSID.2013.208},
url = {http://doi.ieeecomputersociety.org/10.1109/VLSID.2013.208},
researchr = {https://researchr.org/publication/ChenM13-2},
cites = {0},
citedby = {0},
pages = {320-325},
booktitle = {26th International Conference on VLSI Design and 12th International Conference on Embedded Systems, Pune, India, January 5-10, 2013},
publisher = {IEEE},
isbn = {978-1-4673-4639-9},
}