ICCAD-2016 CAD contest in non-exact projective NPNP boolean matching and benchmark suite.

Chi-An (Rocky) Wu, Chih-Jen (Jacky) Hsu, Kei-Yong Khoo

Browse the full ICCAD paper archive.