期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
大电路固定极性Reed-Muller逻辑快速转换算法 被引量:3
1
作者 王玉花 王伦耀 夏银水 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2014年第11期2091-2098,共8页
针对已有的列表技术在极性转换中只能解决中小规模电路的问题,提出一种基于不相交乘积项列表技术的快速转换算法.首先将待处理的逻辑函数表示为不相交乘积项之和形式;然后通过对已有的基于最大项的列表技术进行分析和改进,使得改进后的... 针对已有的列表技术在极性转换中只能解决中小规模电路的问题,提出一种基于不相交乘积项列表技术的快速转换算法.首先将待处理的逻辑函数表示为不相交乘积项之和形式;然后通过对已有的基于最大项的列表技术进行分析和改进,使得改进后的列表技术可以实现将逻辑函数从不相交乘积项的AND?OR形式向固定极性XNOR?OR形式的Reed-Muller逻辑转化.文中算法用C编程实现,并用MCNC标准电路进行测试.实验结果表明,该算法可以快速实现大电路的极性转换,并且具有运算速度对电路的输入变量数不敏感的特点. 展开更多
关键词 reed-muller逻辑 固定极性 极性转换 不相交乘积项 逻辑综合
在线阅读 下载PDF
固定极性Reed-Muller电路最佳延时极性搜索 被引量:6
2
作者 汪鹏君 王振海 +1 位作者 陈耀武 李辉 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2013年第2期361-366,377,共7页
为优化固定极性Reed-Muller(FPRM)电路延时,提出一种适合中小规模FPRM电路的最佳延时极性搜索算法.该算法利用代数法化简某一极性下的FPRM表达式,利用类Huffman算法估计该FPRM电路延时,根据中小规模集成电路的特点结合极性转换技术穷尽... 为优化固定极性Reed-Muller(FPRM)电路延时,提出一种适合中小规模FPRM电路的最佳延时极性搜索算法.该算法利用代数法化简某一极性下的FPRM表达式,利用类Huffman算法估计该FPRM电路延时,根据中小规模集成电路的特点结合极性转换技术穷尽搜索延时最优的FPRM极性.对15个可编程逻辑阵列(PLA)格式MCNC Benchmark电路进行测试,结果表明:与其他2种FPRM表达式优化算法相比,与项数分别平均减少了24.3%和25%;与时序交互系统(SIS)优化后的电路相比,延时平均节省了22.2%. 展开更多
关键词 固定极性reed-muller 代数化简 延时优化 极性搜索
在线阅读 下载PDF
基于分群游走机制的灰狼优化算法的FPRM逻辑电路面积优化
3
作者 曹新龙 何振学 +4 位作者 王伊瑾 赵晓君 张艳 肖利民 王翔 《兰州大学学报(自然科学版)》 CAS CSCD 北大核心 2024年第4期521-527,共7页
针对基于XNOR/OR的固定极性Reed-Muller电路(FPRM)逻辑电路面积优化方法搜索最优解速度较慢,易陷入局部最优等问题,提出一种新的FPRM逻辑电路面积优化方法,利用基于分群游走机制的灰狼优化算法(GDGWO)搜索电路面积最小的FPRM电路.GDGWO... 针对基于XNOR/OR的固定极性Reed-Muller电路(FPRM)逻辑电路面积优化方法搜索最优解速度较慢,易陷入局部最优等问题,提出一种新的FPRM逻辑电路面积优化方法,利用基于分群游走机制的灰狼优化算法(GDGWO)搜索电路面积最小的FPRM电路.GDGWO在初始化种群后,采取“轮盘赌”选择算法选出合适的新群体头狼,以提高种群多样性;执行种群分裂机制,防止因原始种群陷入局部最优而降低算法的鲁棒性;在分群搜索开发过程中引入改进后的随机游走策略,使灰狼种群能够更快地包围猎物,提高算法的收敛速度.基于北卡罗来纳微电子中心Benchmark测试电路的实验结果表明,GDGWO与粒子群算法相比,电路面积优化率提升57.42%;与黑猩猩算法相比,提升41.94%;与原始灰狼优化算法相比,提升43.68%. 展开更多
关键词 固定极性reed-muller电路 面积优化 灰狼算法 分群机制 随机游走
在线阅读 下载PDF
基于SMABC算法的FPRM逻辑电路面积优化 被引量:1
4
作者 秦东阁 何振学 +3 位作者 陈晨 李隆昊 王涛 王翔 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2023年第8期2099-2107,共9页
固定极性Reed-Muller(FPRM)逻辑电路面积优化是当前集成电路设计领域的研究热点。但现有FPRM逻辑电路面积优化方法存在优化效率低和优化效果差等问题。FPRM逻辑电路面积优化属于组合优化问题,提出一种自适应混合人工蜂群(SMABC)算法。... 固定极性Reed-Muller(FPRM)逻辑电路面积优化是当前集成电路设计领域的研究热点。但现有FPRM逻辑电路面积优化方法存在优化效率低和优化效果差等问题。FPRM逻辑电路面积优化属于组合优化问题,提出一种自适应混合人工蜂群(SMABC)算法。所提算法在引领蜂搜索阶段引入细菌觅食算法中的细菌趋化行为,使引领蜂向靠近优秀蜜源的方向搜索,提高了所提算法的收敛速度;对跟随蜂的选择概率进行改进使其依据种群的变化自适应改变,提高了所提算法的全局搜索能力;对侦查蜂的转换条件进行改进,增加了侦查蜂在进化过程中的扰动幅度;且在进化过程中引入精英保留策略以提高种群质量。此外,提出一种基于SMABC算法的FPRM逻辑电路面积优化方法,所提方法收敛速度最快且面积优化率最高为54.62%,平均面积优化率为15.33%。 展开更多
关键词 面积优化 组合优化 人工蜂群算法 细菌觅食算法 固定极性reed-muller逻辑电路
在线阅读 下载PDF
基于K图的函数RM展开式在固定极性下的最小化 被引量:10
5
作者 刘观生 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 2003年第4期405-408,共4页
分析了K图的性质,发现在K图中过某格的所有聚合圈相应的各乘积项所含变量与该格对应的最小项均有相同的极性,在此基础上提出了得到基于K图函数RM展开式在固定极性下的最小化的图形方法.该方法可以从K图直接得到函数的最小化的RM展开式,... 分析了K图的性质,发现在K图中过某格的所有聚合圈相应的各乘积项所含变量与该格对应的最小项均有相同的极性,在此基础上提出了得到基于K图函数RM展开式在固定极性下的最小化的图形方法.该方法可以从K图直接得到函数的最小化的RM展开式,从而省略了传统的把K图转变为bj图再求最小化的步骤.它具有直观、简单、易于掌握等特点.此外,文中还提出了该方法的改进算法. 展开更多
关键词 逻辑电路 逻辑函数 K图 RM展开式 固定极性 最小化 BJ图 聚合圈
在线阅读 下载PDF
基于多数覆盖的二级MPRM函数逻辑优化 被引量:6
6
作者 王伦耀 夏银水 陈偕雄 《电子与信息学报》 EI CSCD 北大核心 2012年第4期986-991,共6页
利用不相交乘积项之间逻辑"或"和逻辑"异或"可以互换的特性,该文将原逻辑函数转化成由不相交乘积项组成的二级混合极性Reed-Muller(MPRM)函数。然后通过搜索不相交乘积项的多数覆盖和检测乘积项间的位操作结果,实... 利用不相交乘积项之间逻辑"或"和逻辑"异或"可以互换的特性,该文将原逻辑函数转化成由不相交乘积项组成的二级混合极性Reed-Muller(MPRM)函数。然后通过搜索不相交乘积项的多数覆盖和检测乘积项间的位操作结果,实现了二级MPRM函数的优化。另外,该文还提出一种基于逻辑覆盖的功能验证方法也被提出用于验证逻辑函数优化前后逻辑功能的等效性。实验显示,与已发表的方法相比,该文的优化算法在保证优化效果的同时使运算速度获得了明显的改进。 展开更多
关键词 数字逻辑电路 reed-muller逻辑 混合极性 逻辑优化 逻辑最小化
在线阅读 下载PDF
基于BABFA的XNOR/OR电路面积优化 被引量:3
7
作者 周宇豪 何振学 +3 位作者 梁新艺 范新超 霍志胜 肖利民 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2022年第10期2031-2039,共9页
基于XNOR/OR的固定极性Reed-Muller(FPRM)电路面积优化是当前集成电路设计领域的研究热点之一。由于基于XNOR/OR的FPRM电路面积优化属于组合优化问题,提出了一种二进制自适应细菌觅食算法(BFA)。该算法在复制操作中加入概率模式,提高种... 基于XNOR/OR的固定极性Reed-Muller(FPRM)电路面积优化是当前集成电路设计领域的研究热点之一。由于基于XNOR/OR的FPRM电路面积优化属于组合优化问题,提出了一种二进制自适应细菌觅食算法(BFA)。该算法在复制操作中加入概率模式,提高种群多样性,采用模糊规则对复制概率和迁移概率进行修正,提高算法的收敛速度。使细菌在邻域内进行搜索,替代细菌群体感应机制中的斥力操作,细菌无需感应其他个体位置对其的影响。提出一种基于XNOR/OR的FPRM电路面积优化方法,利用提出的二进制自适应细菌觅食算法搜索电路面积最小的FPRM电路。基于MCNC Benchmark电路的实验结果表明:面积最大优化率为18%,时间最大节省率为46%。 展开更多
关键词 面积优化 细菌觅食算法(BFA) 复制概率 模糊规则 固定极性reed-muller(FPRM)
在线阅读 下载PDF
基于不相交项并行列表技术的FPRM实现 被引量:6
8
作者 王玉花 王伦耀 夏银水 《电子与信息学报》 EI CSCD 北大核心 2014年第9期2258-2264,共7页
针对传统列表技术在逻辑函数从AND/OR形式转化成固定极性Reed-Muller(FPRM)过程中只能处理小规模电路的不足,该文提出一种基于不相交乘积项的并行列表技术。该技术能有效避免转化算法因逻辑函数输入变量增加引起最小项数量激增而导致效... 针对传统列表技术在逻辑函数从AND/OR形式转化成固定极性Reed-Muller(FPRM)过程中只能处理小规模电路的不足,该文提出一种基于不相交乘积项的并行列表技术。该技术能有效避免转化算法因逻辑函数输入变量增加引起最小项数量激增而导致效率低下甚至无法工作这种情况。另外,不同于已发表的用于实现大电路的转化算法,待处理的电路结构对该方法的性能影响很小。提出的算法用C语言编程实现,并用MCNC标准电路进行测试。实验结果表明所提算法可以对更大规模电路实现快速FPRM转换,并且算法速度对电路输入个数不敏感,但与待处理逻辑函数的不相交乘积项的数量有关。 展开更多
关键词 数字电路 reed-muller(RM)逻辑 固定极性 并行列表技术 逻辑优化
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部