对称检测算法的研究  

STUDY ABOUT ALGORITHM OF DETECTION

作　　者：陈国章[1] 陈昊[2] 何丕廉[3] 

机构地区：[1]天津理工学院计算机科学与工程系,天津300191 [2]天津理工学院光电信息与电子科学系,天津300191 [3]天津大学电子信息工程学院,天津300072

出　　处：《天津大学学报（自然科学与工程技术版）》2001年第5期611-614,共4页Journal of Tianjin University：Science and Technology

基　　金：国家自然科学基金资助项目 (697830 0 4 )

摘　　要：对称是逻辑综合、逻辑优化以及映像技术领域中一个非常重要的性质 .对于对称函数 ,可以使用特殊的逻辑综合程序来改进设计结果 .使用对称也可以提高映像技术和等价检测的有效性 .提出一种用于Symmetry is a useful property in logic synthesis,logic optimization and technology of mapping.For the symmetric function there are special logic synthesis procedures that can be used to improve the results of the design.Symmetry can also improve the efficiency of technology of mapping and equivalence testing.This paper presents an efficient algorithm for the detection of symmetry in Boolean functions represented by OBDDs.

关 键 词：布尔函数 有序双元判定图 OBDD 对称检测 逻辑综合程序 逻辑优化 映像技术 

分 类 号：O153.2[理学—数学] TP301.6[理学—基础数学]