
[IEEE 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2010) - San Jose, CA (2010.11.7-2010.11.11)] 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - A robust functional ECO engine by SAT proof minimization and interpolation techniques
Bo-Han Wu,, Chun-Ju Yang,, Chung-Yang Huang,, Jiang, Jie-Hong RolandAnnée:
2010
Langue:
english
DOI:
10.1109/ICCAD.2010.5654265
Fichier:
PDF, 239 KB
english, 2010