Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah. Refinement strategies for verification methods based on datapath abstraction. In Fumiyasu Hirose, editor, Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006. pages 19-24, IEEE, 2006. [doi]
@inproceedings{AndrausLS06,
title = {Refinement strategies for verification methods based on datapath abstraction},
author = {Zaher S. Andraus and Mark H. Liffiton and Karem A. Sakallah},
year = {2006},
doi = {10.1145/1118299.1118306},
url = {http://doi.acm.org/10.1145/1118299.1118306},
tags = {rule-based, refinement, abstraction},
researchr = {https://researchr.org/publication/AndrausLS06},
cites = {0},
citedby = {0},
pages = {19-24},
booktitle = {Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006},
editor = {Fumiyasu Hirose},
publisher = {IEEE},
isbn = {0-7803-9451-8},
}