论文部分内容阅读
逻辑电路既可以用基于“与/或/非”的传统布尔逻辑(TB逻辑)来实现,也可以用基于“与/异或”的Reed-Muller逻辑(RM逻辑)来实现,如何对给定逻辑函数进行适合逻辑实现的逻辑探测成为需要解决的第一步。本文提出了一种基于与/异或/非门(AND/XOR/INV)的双逻辑图形(AXIG)表示,然后通过优化AXIG实现逻辑函数适合逻辑实现的探测。
The logic circuit can be implemented either with traditional Boolean logic (TB logic) based on “and / or / or ” or with Reed-Muller logic (RM logic) based on It is the first step that needs to be solved how to detect the logical logic which is suitable for a given logic function. In this paper, a dual logic graphics (AXIG) representation based on AND / XOR / INV (AND / XOR / INV) is proposed, and then the logic function suitable for logic detection is realized by optimizing AXIG.