利用不等BDD检测对称变量

• 作者: 吕宗伟 张镭 林争辉
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 对称变量 不等蕴含项 不等BDD
• 年，卷（期）: 2002,（2）
• 所属期刊栏目: 电子设计自动化
• 页码范围: 101-104
• 页数: 4页
• 分类号: TN47
• 字数: 4628字
• 语种: 中文
• DOI: 10.3321/j.issn:1003-9775.2002.02.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林争辉	上海交通大学大规模集成电路研究所	116	603	12.0	20.0
2	吕宗伟	上海交通大学大规模集成电路研究所	23	116	5.0	10.0
3	张镭	上海交通大学大规模集成电路研究所	17	57	3.0	7.0