Yangdi Lyu, Prabhat Mishra. Automated Test Generation for Activation of Assertions in RTL Models. In 25th Asia and South Pacific Design Automation Conference, ASP-DAC 2020, Beijing, China, January 13-16, 2020. pages 223-228, IEEE, 2020. [doi]
@inproceedings{LyuM20,
title = {Automated Test Generation for Activation of Assertions in RTL Models},
author = {Yangdi Lyu and Prabhat Mishra},
year = {2020},
doi = {10.1109/ASP-DAC47756.2020.9045731},
url = {https://doi.org/10.1109/ASP-DAC47756.2020.9045731},
researchr = {https://researchr.org/publication/LyuM20},
cites = {0},
citedby = {0},
pages = {223-228},
booktitle = {25th Asia and South Pacific Design Automation Conference, ASP-DAC 2020, Beijing, China, January 13-16, 2020},
publisher = {IEEE},
isbn = {978-1-7281-4123-7},
}