Scalable exploration of functional dependency by interpolation and incremental SAT solving.

Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang Huang, Alan Mishchenko

Browse the full ICCAD paper archive.