Circuit Transformer for Size Minimization of Logic Circuits

This is a demo to show how a Circuit Transformer minimize the size of a logic circuit by next token prediction, while strictly preserving logical equivalence. [GitHub Repo]

Input logic circuit (in Aiger format, #(inputs) <= 8, #(outputs) <= 2)

Monte-Carlo tree search steps

0 8

Output logic circuit (size-optimized, in Aiger format)

Circuit size comparison

Original logic circuit (And-Inverter Graph)

Optimized logic circuit (And-Inverter Graph)

Truth table of the original circuit

Truth table of the optimized circuit

Equivalence