Richard C. Ho, Michael Theobald, Martin M. Deneroff, Ron O. Dror, Joseph Gagliardo, David E. Shaw
Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic
DAC, 2008.
@inproceedings{DAC-2008-HoTDDGS,
author = "Richard C. Ho and Michael Theobald and Martin M. Deneroff and Ron O. Dror and Joseph Gagliardo and David E. Shaw",
booktitle = "{Proceedings of the 45th Design Automation Conference}",
doi = "10.1145/1391469.1391537",
isbn = "978-1-60558-115-6",
pages = "268--271",
publisher = "{ACM}",
title = "{Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic}",
year = 2008,
}