Circuit Equivalence
op: circuit.equivalenceTwo .bench netlists → output-equivalence proof. ISCAS'85 100% Track A + Track B, includes c6288 32-bit multiplier.
netlist A
netlist B
100 random input samples (default)
quick swap
Two .bench netlists → output-equivalence proof. ISCAS'85 100% Track A + Track B, includes c6288 32-bit multiplier.