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]
@article{FallahAD02,
title = {Functional vector generation for sequential HDL models under an observability-based code coverage metric},
author = {Farzan Fallah and Pranav Ashar and Srinivas Devadas},
year = {2002},
doi = {10.1109/TVLSI.2002.808438},
url = {http://doi.ieeecomputersociety.org/10.1109/TVLSI.2002.808438},
tags = {rule-based, code generation, coverage},
researchr = {https://researchr.org/publication/FallahAD02},
cites = {0},
citedby = {0},
journal = {IEEE Trans. VLSI Syst.},
volume = {10},
number = {6},
pages = {919-923},
}