一种用于数字电路设计的固定极性转换方法技术

本发明专利技术公开了一种用于数字电路设计的固定极性转换方法，首先读入包含无关项的布尔逻辑函数的SOP展开式；然后利用快速列表技术分别建立最小项索引表和无关项索引表；最后搜索最优无关项取舍，选择合适的无关项写入FPRM函数式，得到与项最少的FPRM展开式；优点是实现了数字电路设计过程中包含无关项的Boolean逻辑函数的SOP展开式到RM展开式的固定极性的转换，通过对10个MCNC?Benchmark电路进行测试，结果表明：与不考虑无关项的固定极性转换方法相比，本发明专利技术能有效简化FPRM展开式，获得面积较小，功耗较低，速度较快的RM逻辑电路。

【技术实现步骤摘要】

本专利技术涉及数字电路设计
，尤其是涉及，本方法主要针对包含无关项的RM逻辑函数。
技术介绍
数字电路一般用AND/0R/N0T (与/或/非)组成完备集的Boolean (布尔)逻辑实现。然而，部分电路，如算术电路、通信电路和奇偶校验电路，用RM (Reed-Mul Ier，里德穆勒)逻辑实现时，具有面积、功耗和速度等方面的显著优势。此外，用RM逻辑实现的数字电路还表现出更好的可测试性。RM逻辑主要由XN0R/0R (同或/或)或者X0R/AND (异或/与)运算组成，FPRM (固定极性里德穆勒)展开式是一种重要的RM逻辑展开式。FPRM展开式可通过极性转换从Boolean逻辑SOP (Sum-of-Products)展开式得至丨J，如文献 I (P. Wang, X. Chen. Tabular techniques for OR-Coincidence logic.Journal of electronics (China). 2006, 23 (2) : 269-273)(汪鹏君，陈偕雄.基于或-符合逻辑的快速列表技术「.Tl.电子学报(中国).2006,23(2)本文档来自技高网...

【技术保护点】
一种用于数字电路设计的固定极性转换方法，其特征在于首先读入包含无关项的布尔逻辑函数的SOP展开式；然后利用快速列表技术分别建立最小项索引表和无关项索引表；最后搜索最优无关项取舍，选择合适的无关项写入FPRM函数式，得到与项最少的FPRM展开式；具体过程如下：①读入布尔电路，将布尔电路用包含无关项的布尔逻辑函数的SOP展开式表示为：f(xn-1,xn-2,...,xc,...,x0)=Σi=02n-1aimi+Σi=02n-1dimi,其中∑为或运算符，n为函数f(xn?1,xn?2,...,xc，...，x0)的输入变量数，(xn?1,xn?2,...,xc，...，x...

【技术特征摘要】

【专利技术属性】
技术研发人员：汪鹏君，汪迪生，蒋志迪，孙飞，
申请(专利权)人：宁波大学，
类型：发明
国别省市：