期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

超大变量多值单边逻辑函数优化算法的研究

Research of Optimization Algorithm for Huge Variable Mutil-Valued Unate Logic Functions
下载PDF
导出
摘要 单边多值逻辑函数是逻辑函数的一种特例,对于超大变量的逻辑函数优化,存储开销对输入变量呈2幂次方增长.针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输出单边逻辑函数补集,以积项扩展为基础,完成多输出单边逻辑函数无冗余覆盖.通过编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素进行了分析,软件系统在奔腾1.8GHz,512MB RAM的计算机上通过了正确性验证与测试,测试结果表明性能良好,有效降低了系统的存储空间和时间开销.在相同输出变量数、积项数和无关项因子的情况下,随输入变量数的增长,优化效率随之下降;在相同输入变量数、输出变量数和积项数的情况下,随无关项因子值的增长,优化效率随之下降;在相同输入变量数、输出变量数、和无关项因子的情况下,随积项数的增长优化效率随之提高.
作者 邱建林 王波 刘维富
机构地区 南通大学计算机科学与技术学院
出处 《计算机研究与发展》 EI CSCD 北大核心 2007年第z1期173-177,共5页 Journal of Computer Research and Development
基金 江苏省自然科学基金项目(BK2001130) 江苏省高校自然科学基金项目(03KJB520103,06KJB520090) 南通市应用研究计划基金项目(K2006008)
关键词 多输入多输出 单边逻辑函数 逻辑优化 算法 软件
分类号 TP302.2 [自动化与计算机技术—计算机系统结构] TN47 [电子电信—微电子学与固体电子学] TP391.7 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献7

  • 1[1]R K Brayton,G D Hachtel,C T Mcmullen,et al.Logic Minimization Algorithms for VLSI Synthesis.Boston,MA,USA:Kluwer Academic Publishers,1984
  • 2[2]R K Brayton,R Rudell.M is:A multilevel logic optimization system.IEEE Trans on CAD,1987,26(6):1062-1081
  • 3[3]T Sasao,J T Butler.A method to represent multiple-output switching functions by using multi-valued decision diagrams.IEEE Int'l Symp on Multiple-Valued Logic,Santiago de Compostele,1996
  • 4[4]D M Giovanni.Synthesis and Optimization of Digital Circuits.San Francisco,USA:McGraw-Hill,Inc,1994
  • 5[5]E Morreale.Operators for prime implicant and irredundant,normal form determination.IEEE Trans on Computer,1970,C-19(6):504-509
  • 6[6]Wang Bo,Guan Zhijin,Qiu Jianlin.Determining essential during the procedure of generating prime lmplicants.The 7th Int'l Conf on Computer Aided Design and Computer Graphics,Kunming,2001
  • 7[7]Wang Bo.Determining essential implicants based on product-term separation.IEEE 26th Int'l Conf on Information Technology Interfaces,Cavtat,Dubrovnik,Croatia,2004
计算机研究与发展
2007年 第z1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部