Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits.

Nian-Ze Lee, Hao-Yuan Kuo, Yi-Hsiang Lai, Jie-Hong R. Jiang

Browse the full ICCAD paper archive.