对称检测算法的研究

STUDY ABOUT ALGORITHM OF DETECTION

对称是逻辑综合、逻辑优化以及映像技术领域中一个非常重要的性质 .对于对称函数 ,可以使用特殊的逻辑综合程序来改进设计结果 .使用对称也可以提高映像技术和等价检测的有效性 .提出一种用于

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.