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

Figure 6

Formal definition of the combinational circuit [22].