基于OKFDDs的Reed-Muller逻辑混合极性转换算法
doi: 10.3724/SP.J.1146.2010.00776
An Algorithm of Reed-muller Logic Mixed-polarity Conversions Based on OKFDDs
-
摘要: 混合极性转换是RM (Reed-Muller)电路逻辑综合过程的一个重要环节,能够实现从Boolean逻辑最小项表达式到RM逻辑MPRM (Mixed-Polarity Reed-Muller)表达式的转换。该文通过对OKFDDs (Ordered Kronecker Functional Decision Diagrams)展开规律的研究,建立MPRM表达式与OKFDDs数据结构的对应关系。在此基础上,根据最小项系数与MPRM系数的下标包含关系,结合多输出函数描述方式,提出一种直接从最小项表达式展开到MPRM表达式的新型混合极性转换算法。最后通过对多个Benchmark测试的实验结果表明其转换效率相比其它混合极性转换算法有明显提高。Abstract: Mixed-Polarity conversion is one of important phases in logic synthesis of Reed-Muller (RM) circuits, which implements the conversions from Boolean logic Minterm expressions to RM logic Mixed-Polarity Reed-Muller (MPRM) expressions. In this paper, based on the research of decomposed rules of Ordered Kronecker Functional Decision Diagrams (OKFDDs) the relations between MPRM expressions and OKFDDs database are established. On this basis, according to the subscripts included relations between Minterm coefficients and MPRM coefficients and combining the description of multi-output logic functions, a novel Mixed-Polarity conversion algorithm directly from Minterm expressions to MPRM expressions is proposed. Finally, through several Benchmark tests, the results show the efficiency of the methods, which is significantly improved compared to other conversion algorithms.
-
Rahaman H, Das D K, and Bhattacharya B B. Testable design of AND-EXOR logic networks with universal test sets[J].Computers and Electrical Engineering.2009, 35(5):644-658[4]Chaudhury S and Chattopadhyay S. Fixed polarity Reed- Muller network synthesis and its application in AND-OR /XOR-based circuit realization with area-power trade-off[J].IETE Journal of Research.2008, 54(5):353-364[5]Cheng J, Chen X, and Faraj K M, et al.. Expansion of logical function in the or-coincidence system and the transform between it and maxterm expansion[J].Computers and Digital Techniques.2003, 150(6):397-402[6]Al Jassani B A, Urquhart N, and Almaini A E A. Manipulation and optimization techniques for Boolean logic[J].IET Computers and Digital Techniques.2010, 4(3):227-239[7]Wang P and Chen X. Tabular techniques for or-coincidence logic[J].Journal of Electronics (China.2006, 23(2):269-273[9]Becker B, Drechsler R, and Theobald M. On the expressive power of OKFDDs[J].Formal Methods in System Design.1997, 11(1):5-17
计量
- 文章访问数: 3517
- HTML全文浏览量: 114
- PDF下载量: 701
- 被引次数: 0