Hoang M. Le, Daniel Große, Rolf Drechsler. Towards analyzing functional coverage in SystemC TLM property checking. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010. pages 67-74, IEEE, 2010. [doi]
@inproceedings{LeGD10,
title = {Towards analyzing functional coverage in SystemC TLM property checking},
author = {Hoang M. Le and Daniel Große and Rolf Drechsler},
year = {2010},
doi = {10.1109/HLDVT.2010.5496658},
url = {http://dx.doi.org/10.1109/HLDVT.2010.5496658},
tags = {coverage},
researchr = {https://researchr.org/publication/LeGD10},
cites = {0},
citedby = {0},
pages = {67-74},
booktitle = {IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010},
publisher = {IEEE},
}