一种新的布尔函数对称检测算法  

A New Detection Algorithm for Symmetric Boolean Fuctions

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

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

出　　处：《天津理工学院学报》1999年第4期5-7,共3页Journal of Tianjin Institute of Technology

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

关 键 词：算法 布尔函数 OBDD 数据结构 对称性 检测 

分 类 号：O153.2[理学—数学]