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

Abstract: The authors have proposed to use the Boolean complement method to polynomial codes for combinational circuits checking. The Boolean complement method is based all or part of the functions ...

Topics include binary number representations, Boolean algebra, simplification methods for combinational circuits, introduction to sequential circuits, and introduction to assembly language programming ...