Dismiss
The InnovationQ application will be updated on Sunday, May 31st from 10am-noon ET. You may experience brief service interruptions during that time.
Browse Prior Art Database

Locating Syntactically Redundant Logic

IP.com Disclosure Number: IPCOM000050217D
Original Publication Date: 1982-Sep-01
Included in the Prior Art Database: 2005-Feb-10

Publishing Venue

IBM

Related People

Authors:
Berman, CL [+details]

Abstract

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.