Farzan Fallah, Srinivas Devadas, Kurt Keutzer. OCCOM-efficient computation of observability-based code coveragemetrics for functional verification. IEEE Trans. on CAD of Integrated Circuits and Systems, 20(8):1003-1015, 2001. [doi]
@article{FallahDK01a,
title = {OCCOM-efficient computation of observability-based code coveragemetrics for functional verification},
author = {Farzan Fallah and Srinivas Devadas and Kurt Keutzer},
year = {2001},
doi = {10.1109/43.936381},
url = {http://doi.ieeecomputersociety.org/10.1109/43.936381},
tags = {rule-based},
researchr = {https://researchr.org/publication/FallahDK01a},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {20},
number = {8},
pages = {1003-1015},
}