A Robust Functional ECO Engine by SAT Proof Minimization and Interpolation Techniques

Journal

IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

Pages

729-734

Date Issued

2010-11

Author(s)

Bo-Han Wu

Chun-Ju Yang

Chung-Yang (Ric) Huang

Jie-Hong Roland Jiang

DOI

URI

Type

conference paper