Kai-Hui Chang, Igor L. Markov, Valeria Bertacco. Fixing Design Errors with Counterexamples and Resynthesis. In Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007. pages 944-949, IEEE, 2007. [doi]
@inproceedings{ChangMB07a,
title = {Fixing Design Errors with Counterexamples and Resynthesis},
author = {Kai-Hui Chang and Igor L. Markov and Valeria Bertacco},
year = {2007},
doi = {10.1109/ASPDAC.2007.358111},
url = {http://doi.ieeecomputersociety.org/10.1109/ASPDAC.2007.358111},
tags = {Markov, design},
researchr = {https://researchr.org/publication/ChangMB07a},
cites = {0},
citedby = {0},
pages = {944-949},
booktitle = {Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007},
publisher = {IEEE},
}