Yibin Chen, Sean Safarpour, Andreas G. Veneris, João P. Marques Silva. Spatial and temporal design debug using partial MaxSAT. In Fabrizio Lombardi, Sanjukta Bhanja, Yehia Massoud, R. Iris Bahar, editors, Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, Boston Area, MA, USA, May 10-12 2009. pages 345-350, ACM, 2009. [doi]
@inproceedings{ChenSVM09,
title = {Spatial and temporal design debug using partial MaxSAT},
author = {Yibin Chen and Sean Safarpour and Andreas G. Veneris and João P. Marques Silva},
year = {2009},
doi = {10.1145/1531542.1531621},
url = {http://doi.acm.org/10.1145/1531542.1531621},
tags = {debugging, design},
researchr = {https://researchr.org/publication/ChenSVM09},
cites = {0},
citedby = {0},
pages = {345-350},
booktitle = {Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, Boston Area, MA, USA, May 10-12 2009},
editor = {Fabrizio Lombardi and Sanjukta Bhanja and Yehia Massoud and R. Iris Bahar},
publisher = {ACM},
isbn = {978-1-60558-522-2},
}