CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on the Interactive Theorem Prover

Figure 9

Schematic diagram of the CoCEC tool.