首页> 外国专利> 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.
机译:公开了一种用于执行表示的合成的方法,系统和计算机程序产品。该方法包括:接收关系的表示;以及将表示一个或多个选择的父路径的或函数的门建立到所述关系的所述表示的节点中。执行用于所述门的表示所述“或”功能的合成门,以及通过对所述关系的所述表示中的一个或多个变量进行迭代所述构建步骤和所述创建步骤来对一组关系表示进行合成,以累积合成门集合,门集返回。

著录项

相似文献

  • 专利
  • 外文文献
  • 中文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号