Description

XorDecomp is a tool performing AND-XOR bi-decomposition of logic functions. The input is in the PLA format (SOP - truth table), the output is a multi-level circuit decription in the BLIF format.

Main Features

• AND-XOR bi-decomposition is performed
• XOR decomposition is emphasized
• Very efficient for XOR-intensive functions
• Heuristic, randomized algorithm
• Different runs (with different random number generator seeds) may produce different results
• Compatible with SIS, MVSIS, ABC (the input format is PLA, the output format is BLIF)