Functional vector generation for sequential HDL models under an observability-based code coverage metric

Farzan Fallah, Pranav Ashar, Srinivas Devadas. Functional vector generation for sequential HDL models under an observability-based code coverage metric. IEEE Trans. VLSI Syst., 10(6):919-923, 2002. [doi]

Abstract

Abstract is missing.