%0 Conference Paper %1 conf/dac/AthavaleMHV14 %A Athavale, Viraj %A Ma, Sai %A Hertz, Samuel %A Vasudevan, Shobha %B DAC %D 2014 %I ACM %K dblp %P 61:1-61:6 %T Code Coverage of Assertions Using RTL Source Code Analysis. %U http://dblp.uni-trier.de/db/conf/dac/dac2014.html#AthavaleMHV14 %@ 978-1-4503-2730-5

@inproceedings{conf/dac/AthavaleMHV14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Athavale, Viraj and Ma, Sai and Hertz, Samuel and Vasudevan, Shobha}, biburl = {https://www.bibsonomy.org/bibtex/2f294fede7c6116370ad98c6be6248e9a/dblp}, booktitle = {DAC}, crossref = {conf/dac/2014}, ee = {https://doi.org/10.1145/2593069.2593108}, interhash = {24d7e7f34f079d1cb6e9d7976ff35b9f}, intrahash = {f294fede7c6116370ad98c6be6248e9a}, isbn = {978-1-4503-2730-5}, keywords = {dblp}, pages = {61:1-61:6}, publisher = {ACM}, timestamp = {2018-11-07T15:14:38.000+0100}, title = {Code Coverage of Assertions Using RTL Source Code Analysis.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2014.html#AthavaleMHV14}, year = 2014 }