首页>
外国专利>
Method for improved synthesis of binary decision diagrams with inverted edges and quantifiable as well as nonquantifiable variables
Method for improved synthesis of binary decision diagrams with inverted edges and quantifiable as well as nonquantifiable variables
展开▼
机译:改进的具有倒置边缘和可量化变量以及不可量化变量的二元决策图综合方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method, system and computer program product for performing synthesis of representations is disclosed. The method comprises receiving a representation of a relation and building a gate representing an OR function of one or more selected parent paths into a node of said representation of said relation. A synthesized gate for said gate representing said OR function and synthesis of a set of representations of relations by iterating said building step and said creating step over one or more variables in said representation of said relation is performed to accumulate a synthesized gate set, which synthesized gate set is returned.
展开▼