OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification

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]

Abstract

Abstract is missing.