Aarti Gupta, Sharad Malik, Pranav Ashar
Toward Formalizing a Validation Methodology Using Simulation Coverage
DAC, 1997.
@inproceedings{DAC-1997-GuptaMA,
author = "Aarti Gupta and Sharad Malik and Pranav Ashar",
booktitle = "{Proceedings of the 34th Design Automation Conference}",
doi = "10.1145/266021.266359",
isbn = "0-89791-920-3",
pages = "740--745",
publisher = "{ACM Press}",
title = "{Toward Formalizing a Validation Methodology Using Simulation Coverage}",
year = 1997,
}