Himanshu Jain, Daniel Kröning, Natasha Sharygina, Edmund M. Clarke
Word level predicate abstraction and refinement for verifying RTL verilog
DAC, 2005.
@inproceedings{DAC-2005-JainKSC,
author = "Himanshu Jain and Daniel Kröning and Natasha Sharygina and Edmund M. Clarke",
booktitle = "{Proceedings of the 42nd Design Automation Conference}",
doi = "10.1145/1065579.1065697",
isbn = "1-59593-058-2",
pages = "445--450",
publisher = "{ACM}",
title = "{Word level predicate abstraction and refinement for verifying RTL verilog}",
year = 2005,
}