AC/3 is a tool for performing automatic error correction
in combinatorial circuits. Two circuits must be provided to the
system where one serves as the specification circuit and the
other one as the current implementation. AC/3 tries to prove
equivalence between both designs and performs automatic error
correction if equivalence does not hold. The tool is based on
the rectification theory developed in [TechReport1999-6].