Synopsys, Inc.
Robust exclusive sum-of-product (ESOP) refactoring

Abstract:

Robust logic optimization on an IC design based on exclusive sum-of-products (ESOP) refactoring is described. ESOP expressions are two-level logic representation forms, similar to sum-of-product SOP representations. However, since ESOPs use exclusive-OR (XOR) instead of OR operators they can be exponentially more compact than sum-of-product (SOP) expressions for important classes of functions. In XOR heavy logic, ESOP expressions allow us to find optimizations that SOPs simply do not have access to.