Farzan Fallah, Srinivas Devadas, Kurt Keutzer. OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification. In DAC. pages 152-157, 1998. [doi]
@inproceedings{FallahDK98a,
title = {OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification},
author = {Farzan Fallah and Srinivas Devadas and Kurt Keutzer},
year = {1998},
doi = {10.1145/277044.277078},
url = {http://doi.acm.org/10.1145/277044.277078},
tags = {rule-based, coverage},
researchr = {https://researchr.org/publication/FallahDK98a},
cites = {0},
citedby = {0},
pages = {152-157},
booktitle = {DAC},
}