Bi-decomposition of large Boolean functions using blocking edge graphs.

Mihir R. Choudhury, Kartik Mohanram

Browse the full ICCAD paper archive.