A robust functional ECO engine by SAT proof minimization and interpolation techniques.
https://doi.org/10.1109/ICCAD.2010.5654265
@inproceedings{DBLP:conf/iccad/WuYHJ10,
author = {Bo{-}Han Wu and
Chun{-}Ju Yang and
Chung{-}Yang Huang and
Jie{-}Hong Roland Jiang},
editor = {Louis Scheffer and
Joel R. Phillips and
Alan J. Hu},
title = {A robust functional {ECO} engine by {SAT} proof minimization and interpolation
techniques},
booktitle = {2010 International Conference on Computer-Aided Design, {ICCAD} 2010,
San Jose, CA, USA, November 7-11, 2010},
pages = {729--734},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICCAD.2010.5654265},
doi = {10.1109/ICCAD.2010.5654265},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iccad/WuYHJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签