对称检测算法的研究

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