Boolean decomposition in multi-level logic optimization.

Srinivas Devadas, Albert R. Wang, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli

Browse the full ICCAD paper archive.