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]
Abstract is missing.