AXIG及其在双逻辑综合中的应用

摘要

逻辑电路既可以用基于”与/或/非”的传统布尔逻辑(TB逻辑)来实现,也可以用基于”与/异或”的Reed-Muller逻辑(RM逻辑)来实现,如何对给定逻辑函数进行适合逻辑实现的逻辑探测成为需要解决的第一步.本文提出了一种基于与/异或/非门(AND/XOR/INV)的双逻辑图形(AXIG)表示,然后通过优化AXIG实现逻辑函数适合逻辑实现的探测.