The combinational logic-level equivalence problem is to determine whether two given combinational circuits implement the same Boolean function. This problem arises in a number of computer-aided design ...

Combinational Logic Simulator The simulator takes a combination circuit in an ISCAS gate-level netlist format located in resources/circuit.isc along with test inputs located in ...