Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni. Design-Intent Coverage - A New Paradigm for Formal Property Verification. IEEE Trans. on CAD of Integrated Circuits and Systems, 25(10):1922-1934, 2006. [doi]
@article{BasuDBDCMFA06,
title = {Design-Intent Coverage - A New Paradigm for Formal Property Verification},
author = {Prasenjit Basu and Sayantan Das and Ansuman Banerjee and Pallab Dasgupta and P. P. Chakrabarti and Chunduri Rama Mohan and Limor Fix and Roy Armoni},
year = {2006},
doi = {10.1109/TCAD.2005.859490},
url = {http://doi.ieeecomputersociety.org/10.1109/TCAD.2005.859490},
tags = {design, coverage},
researchr = {https://researchr.org/publication/BasuDBDCMFA06},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {25},
number = {10},
pages = {1922-1934},
}