递归学习寻找对称变量

来源 :上海交通大学学报 | 被引量 : 0次 | 上传用户：conansmh

【摘要】

：

逻辑验证和逻辑综合中，利用对称变量的性质能提高算法整体的效率。通常?xixj^-=?xjxi^-被用来检验变量的对称性。一般先分别建立?xixj^-=?xjxi^-的BDD(BinaryDecision Diagram

【作者】

：

张镭林争辉等

【机构】

：

上海交通大学大规模集成电路研究所

【出处】

：

上海交通大学学报

【发表日期】

：

2002年12期

【关键词】

：

逻辑集成电路对称变量递归学习算法测试生成逻辑函数二分决策图 logic integrated circuits symmetry variables

【基金项目】

：

美国国家科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

逻辑验证和逻辑综合中，利用对称变量的性质能提高算法整体的效率。通常?xixj^-=?xjxi^-被用来检验变量的对称性。一般先分别建立?xixj^-=?xjxi^-的BDD(BinaryDecision Diagram)二分决策图，然后通过检查两BDD图是否同构来验证?xixj^-=?xjxi^-，但将电路转化为BDD图本身就需要一定的时间，而且对于大的电路，存在BDD图不能建立的可能性，致使同构验证无法进行。本文利用递归学习，无需建立BDD图直接在电路拓扑图上验证?xixj^-=?xjxi^-，递归学习

其他文献

“恺王”参加北京戒毒新所落成典礼

6月21日北京市公安局强制戒毒新所在北京顺义落成．临近6月26日“国际禁毒日”，禁毒和戒毒的问题又再次引起了国际社会的广泛关注．北京政府积极为此事筹措，北京市委常委副书记强

期刊

北京市公安局戒毒惠普集团国际社会禁毒

毛巾组织的变形及独特式样

介绍一种变异的毛巾组织，可以构成高、低不同的毛圈并形成独特的花型，并以实例作为说明，可用于巾类产品的开发设计与生产。

期刊

毛巾毛圈结构设计组织变形花型设计

电液伺服系统变增益PI控制仿真

电液伺服系统由于其系统频宽较高，液压阻尼系数小，而具有较高的响应速度。其时间响应常常出现振荡。本文提出了一种简单的变增益PI控制器，并应用于液压伺服位置系统的控制。仿真

期刊