Locating Syntactically Redundant Logic
Original Publication Date: 1982-Sep-01
Included in the Prior Art Database: 2005-Feb-10
One of the Problems which occurs during the logic synthesis process and during the manual design of logic is the problem of locating equivalent signals. Equivalent signals can be computed in different manners, and in full generality the problem of finding functionally equivalent signals is extremely difficult.