Farzan Fallah, Pranav Ashar, Srinivas Devadas. Simulation Vector Generation from HDL Descriptions for Observability-Enhanced Statement Coverage. In DAC. pages 666-671, 1999. [doi]
@inproceedings{FallahAD99,
title = {Simulation Vector Generation from HDL Descriptions for Observability-Enhanced Statement Coverage},
author = {Farzan Fallah and Pranav Ashar and Srinivas Devadas},
year = {1999},
doi = {10.1145/309847.310023},
url = {http://doi.acm.org/10.1145/309847.310023},
tags = {coverage},
researchr = {https://researchr.org/publication/FallahAD99},
cites = {0},
citedby = {0},
pages = {666-671},
booktitle = {DAC},
}