| 基于OKFDDs的Reed-Muller逻辑混合极性转换算法 |
| |
| 引用本文： | 汪鹏君, 李辉. 基于OKFDDs的Reed-Muller逻辑混合极性转换算法[J]. 电子与信息学报, 2011, 33(4): 932-937. doi: 10.3724/SP.J.1146.2010.00776 |
| |
| 作者姓名： | 汪鹏君 李辉 |
| |
| 作者单位： | 宁波大学电路与系统研究所; |
| |
| 基金项目： | 国家自然科学基金(61076032,60776022); 中国博士后科学基金(20090461355); 浙江省博士后科研项目; 浙江省自然科学基金(Y1101078); 浙江省公益性技术应用研究计划项目(2010C31012); 浙江省大学生科技创新活动计划(新苗人才计划)资助课题 |
| |
| 摘 要： | 混合极性转换是RM (Reed-Muller)电路逻辑综合过程的一个重要环节，能够实现从Boolean逻辑最小项表达式到RM逻辑MPRM (Mixed-Polarity Reed-Muller)表达式的转换。该文通过对OKFDDs (Ordered Kronecker Functional Decision Diagrams)展开规律的研究，建立MPRM表达式与OKFDDs数据结构的对应关系。在此基础上，根据最小项系数与MPRM系数的下标包含关系，结合多输出函数描述方式，提出一种直接从最小项表达式展开到MPRM表达式的新型混合极性转换算法。最后通过对多个Benchmark测试的实验结果表明其转换效率相比其它混合极性转换算法有明显提高。
|
| 关 键 词： | 电路设计 电路逻辑综合 OKFDDs MPRM表达式 极性转换 |
| 收稿时间： | 2010-07-20 |
| 修稿时间： | 2010-11-11 |
An Algorithm of Reed-muller Logic Mixed-polarity Conversions Based on OKFDDs |
| |
| Wang Peng-Jun, Li Hui. An Algorithm of Reed-muller Logic Mixed-polarity Conversions Based on OKFDDs[J]. Journal of Electronics & Information Technology, 2011, 33(4): 932-937. doi: 10.3724/SP.J.1146.2010.00776 |
| |
| Authors: | Wang Peng-jun Li Hui |
| |
| Affiliation: | Wang Peng-jun Li Hui(Institute of Circuits and Systems,Ningbo University,Ningbo 315211,China) |
| |
| Abstract: | |
| |
| Keywords: | Circuit design Circuit logic synthesis Ordered Kronecker Functional Decision Diagrams(OKFDDs) Mixed-Polarity Reed-Muller(MPRM) expressions Polarity conversion |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《电子与信息学报》浏览原始摘要信息 |
|
点击此处可从《电子与信息学报》下载全文 |
