Patent ID: 7765514
Filing Date: 2010-07-27
Classification: G06F

Abstract:
1. A computer program product in a computer-readable medium for performing synthesis of representations in a digital design, said computer program product in a computer-readable medium comprising: a computer-readable medium; instructions on the computer-readable medium for receiving a binary decision diagram representation of said relation over quantifiable and nonquantifiable variables; instructions on the computer-readable medium for mapping one or more of said nonquantifiable variables to a gate of an initial design; instructions on the computer-readable medium for building a gate representing an OR function of one or more selected parent paths into a node of said representation of said relation; instructions on the computer-readable medium for creating a synthesized gate for said gate representing said OR function; instructions on the computer-readable medium for performing synthesis of a set of representations of relations by iteratively employing said building instructions and said creating instructions over one or more variables in said representation of said relation to accumulate a synthesized gate set; and instructions on the computer-readable medium for returning said synthesized gate set.