A robust functional ECO engine by SAT proof minimization and interpolation techniques.

Bo-Han Wu, Chun-Ju Yang, Chung-Yang Huang, Jie-Hong Roland Jiang

Browse the full ICCAD paper archive.