Aritra Hazra, Ansuman Banerjee, Srobona Mitra, Pallab Dasgupta, Partha Pratim Chakrabarti, Chunduri Rama Mohan. Cohesive Coverage Management for Simulation and Formal Property Verification. In IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2008, 7-9 April 2008, Montpellier, France. pages 251-256, IEEE Computer Society, 2008. [doi]
@inproceedings{HazraBMDCM08,
title = {Cohesive Coverage Management for Simulation and Formal Property Verification},
author = {Aritra Hazra and Ansuman Banerjee and Srobona Mitra and Pallab Dasgupta and Partha Pratim Chakrabarti and Chunduri Rama Mohan},
year = {2008},
doi = {http://dx.doi.org/10.1109/ISVLSI.2008.53},
tags = {coverage},
researchr = {http://researchr.org/publication/HazraBMDCM08},
cites = {0},
citedby = {0},
pages = {251-256},
booktitle = {IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2008, 7-9 April 2008, Montpellier, France},
publisher = {IEEE Computer Society},
}