Prasenjit Basu, Sayantan Das, Pallab Dasgupta, P.P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, "Formal Verification Coverage: Are the RTL-Properties Covering the Design?s Architectural Intent?," Design, Automation and Test in Europe Conference and Exhibition, vol. 1, pp. 10668, Design, Automation and Test in Europe Conference and Exhibition Volume I (DATE'04), 2004.

@article{ 10.1109/DATE.2004.1268922,
author = {Prasenjit Basu and Sayantan Das and Pallab Dasgupta and P.P. Chakrabarti and Chunduri Rama Mohan and Limor Fix},
title = {Formal Verification Coverage: Are the RTL-Properties Covering the Design?s Architectural Intent?},
journal ={Design, Automation and Test in Europe Conference and Exhibition},
volume = {1},
year = {2004},
issn = {1530-1591},
pages = {10668},
doi = {http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1268922},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Design, Automation and Test in Europe Conference and Exhibition
TI - Formal Verification Coverage: Are the RTL-Properties Covering the Design?s Architectural Intent?
SN - 1530-1591
SP
EP
A1 - Prasenjit Basu,
A1 - Sayantan Das,
A1 - Pallab Dasgupta,
A1 - P.P. Chakrabarti,
A1 - Chunduri Rama Mohan,
A1 - Limor Fix,
PY - 2004
KW - null
VL - 1
JA - Design, Automation and Test in Europe Conference and Exhibition
ER -