Shireesh Verma, Ian G. Harris, Kiran Ramineni. Automatic generation of functional coverage models from CTL. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2007, Irvine, CA, USA, November 7-9, 2007. pages 159-164, IEEE Computer Society, 2007. [doi]
@inproceedings{VermaHR07-0,
title = {Automatic generation of functional coverage models from CTL},
author = {Shireesh Verma and Ian G. Harris and Kiran Ramineni},
year = {2007},
doi = {10.1109/HLDVT.2007.4392806},
url = {http://doi.ieeecomputersociety.org/10.1109/HLDVT.2007.4392806},
researchr = {https://researchr.org/publication/VermaHR07-0},
cites = {0},
citedby = {0},
pages = {159-164},
booktitle = {IEEE International High Level Design Validation and Test Workshop, HLDVT 2007, Irvine, CA, USA, November 7-9, 2007},
publisher = {IEEE Computer Society},
isbn = {978-1-4244-1480-2},
}