利用不等BDD检测对称变量

摘要：

变量的对称性在逻辑综合与优化、工艺映射中起着非常重要的作用.如果事先得到变量对称的信息,就可以减小解空间,提高逻辑验证的效率.过去,人们通常用公式fxij=fxji检验变量的对称性.这需要分别建立fxij和fxji的BDD图,然后检查两BDD图是否同构.文中提出一种新算法,整个算法流程仅需建立一次BDD.任何变量对称性的判别遍历BDD一次即可完成,从而减小了算法的空间复杂度和时间复杂度.

关键词：对称变量、不等蕴含项、不等BDD

所属期刊栏目：14

分类号：TN47(微电子学、集成电路（IC）)

资助基金：美国国家科学基金5978 EastAsia and Pacific Program-9602485

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：101-104