Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee
An Efficient Assertion Checker for Combinational Properties
DAC, 1997.
@inproceedings{DAC-1997-HasteerMB,
author = "Gagan Hasteer and Anmol Mathur and Prithviraj Banerjee",
booktitle = "{Proceedings of the 34th Design Automation Conference}",
doi = "10.1145/266021.266357",
isbn = "0-89791-920-3",
pages = "734--739",
publisher = "{ACM Press}",
title = "{An Efficient Assertion Checker for Combinational Properties}",
year = 1997,
}