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 ...

Nowadays, electronic circuit designers, students and many who interest in the field of circuit designing are practicing and experimenting about implementing the most accurate and reliable electronic ...