论文部分内容阅读
面积优化是集成电路设计中一个重要的环节,相较之前的Boolean逻辑优化,对一些逻辑电路,Reed-Muller优化在速度,面积,奇偶对称性等方面有着明显的优势。极性转化是RM逻辑电路面积优化的一个重要途径。本文从电路的逻辑函数转换入手,进而研究电路固定极性下的逻辑转换和极性转换,主要研究内容如下: 1.不相交乘积项的产生。不相交乘积项是本文内容的基础,本文将从“异或”和“同或”运算的性质入手,结合运算当中的摩根定理和算式化简方法,探究不相交乘积项产生的一般规律,并介绍了利用海明距算法和乘积项位操作算法生成不相交乘积项时各自的适用范围。 2.列表技术算法。列表技术算法由于节省计算机内存和效率高等特点被广泛应用到电路优化中。本文研究了用传统列表技术实现最大项和最小项列表技术的转换步骤,并阐述了它们各自实现的极性间转换;同时探究了最小项列表技术和最大项列表技术的不足,并在此基础上提出改进方法。提出的算法用数学方法证明进行了证明,并将改进的方法应用到大电路的逻辑转换,然后通过双向转换还原电路的方法来验证本文方法的正确性。Reed-Muller逻辑式不同极性间的转换也将是本文的一个重点。列表技术有串行列表技术和并行列表技术,本文提出的不相交乘积项列表技术也将从串行和并行两方面分析。在此基础上提出了不相交乘积项的列表技术。 3.枚举算法在固定极性列表转换中的运用。通过对固定极性逻辑函数极性间转换的研究,结合位操作的特性和枚举法面积优化的思想,沿着格雷码的搜索路径用列表技术法搜索出混合极性表达式的最佳极性。枚举算法是一种传统的算法,它通过遍历可行解集合内所有解找到使目标函数达到最佳值的那个解。由于n输入变量的函数有2n个极性,所以枚举算法对于FPRM函数的优化需要的时间较多。文章通过实验的方法验证了枚举法加乘积项列表技术在面积优化中的可行性,并分析了枚举算法在大规模电路应用中的缺陷。