Brian Keng, Andreas G. Veneris. Managing complexity in design debugging with sequential abstraction and refinement. In Proceedings of the 16th Asia South Pacific Design Automation Conference, ASP-DAC 2011, Yokohama, Japan, January 25-27, 2011. pages 479-484, IEEE, 2011. [doi]
@inproceedings{KengV11,
title = {Managing complexity in design debugging with sequential abstraction and refinement},
author = {Brian Keng and Andreas G. Veneris},
year = {2011},
doi = {10.1109/ASPDAC.2011.5722237},
url = {http://dx.doi.org/10.1109/ASPDAC.2011.5722237},
tags = {refinement, design complexity, debugging, abstraction, design},
researchr = {https://researchr.org/publication/KengV11},
cites = {0},
citedby = {0},
pages = {479-484},
booktitle = {Proceedings of the 16th Asia South Pacific Design Automation Conference, ASP-DAC 2011, Yokohama, Japan, January 25-27, 2011},
publisher = {IEEE},
isbn = {978-1-4244-7516-2},
}