二值逻辑和三值逻辑混合多值Reed-Muller逻辑电路极性优化方法研究

二值Reed-Muller（RM）逻辑电路极性优化与三值RM逻辑电路极性优化已成为集成电路设计领域研究的热点和难点。数字信号取值数的选择对于RM逻辑电路极性优化至关重要。仅基于二值逻辑或仅基于三值逻辑对RM逻辑电路进行极性优化具有一定局限性，无法获得最佳的电路性能。然而，目前有关二值逻辑和三值逻辑混合多值RM逻辑电路极性优化的研究还未见报道。本项目旨在建立二值逻辑和三值逻辑混合多值RM逻辑电路极性优化理论和方法。主要研究内容包括：建立二值-三值混合多值RM表达式极性转换方法、建立二值-三值混合多值RM表达式极性间转换方法、建立二值-三值混合多值RM逻辑电路极性搜索方法、研发基于FPGA平台的验证和测试系统。本项目的研究成果对于拓展RM逻辑电路极性优化研究领域、建立具有自主知识产权的集成电路综合优化理论和方法、促进我国集成电路设计技术及相关经济产业发展具有重要的理论意义和应用价值。

Polarity optimization of binary Reed-Muller (RM) logic circuit and polarity optimization of ternary RM logic circuit have become the research hotspots and difficulties in the field of integrated circuit design. The choice of digital signal value is very important for the polarity optimization of RM logic circuit. Polarity optimization of RM logic circuit based only on binary logic or based only on ternary logic has certain limitations, which cannot obtain the best circuit performance. However, there are no reports about the research on polarity optimization of multiple-valued Reed-Muller logic circuits mixed with binary logic and ternary logic. This project aims to establish the theory and method of polarity optimization of multiple-valued Reed-Muller logic circuits mixed with binary logic and ternary logic. The main research content includes the establishment of the polarity conversion method of multiple-valued Reed-Muller logic circuits mixed with binary logic and ternary logic, the establishment of the inter-polarities conversion method of multiple-valued Reed-Muller logic circuits mixed with binary logic and ternary logic, the establishment of the polarity search method of multiple-valued Reed-Muller logic circuits mixed with binary logic and ternary logic, research and development of verification and test system based on FPGA platform. The research results of this project have important theoretical significance and application value for expanding the research field of polarity optimization of RM logic circuit, establishing integrated circuit synthesis optimization theory and method with self-owned intellectual property rights, and promoting the development of our integrated circuit design technology and related economic industries.