METHOD AND APPARATUS FOR REMOVING REDUNDANCY USING PSEUDO-ALGEBRAIC METHOD

摘要

PURPOSE: To optimize the final constitution of a logic network by removing redundancy in a signal path generated by the reconvergence of a signal by using Boolean algebra method. CONSTITUTION: Mending D algorithm analysis is used related with Boolean algebra analysis for analyzing a logic network. In this case, cones 102 and 104 end with root pins. That is, the cone 102 ends with a root pin 112(P1), and the cone 104 ends with a root pin 114(P2). The root pins 112 and 114 are substantially inputs to a logic at a following stage, and for example, shown as an AND logical block 118. An input signal constituting each leave of the cones 102 and 104 passes the combined logic of several stages before reaching each root pin. An AND logical function is executed first by the logical block 118 in the Boolean expression for defining the logical signal of a node so that a node 120 is a product node.