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

Farzan Fallah, Srinivas Devadas, Kurt Keutzer

Browse the full DAC paper archive.