浙江省自然科学基金(LY13F040003)
- 作品数：7 被引量：18H指数：3
- 相关作者：汪鹏君张会红张跃军俞海珍蒋志迪更多>>
- 相关机构：宁波大学更多>>
- 发文基金：浙江省自然科学基金国家自然科学基金浙江省公益性技术应用研究计划项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于余子式的组合逻辑电路覆盖等效性检测算法被引量：1
- 2017年
- 覆盖等效性检测指验证2个具有不同表达式的组合逻辑电路是否实现相同的函数功能.通过扩展余子式概念,提出一种基于乘积项余子式分解及重言式判别的组合逻辑电路覆盖等效性检测算法.首先将等效性检测问题分解成电路包含检测子问题,逐一求取其中一个电路表达式对另一个电路表达式各乘积项的余子式;然后在建立各乘积项余子式的香农结构图基础上判断其是否重言式;最后根据重言式判别结果确定两电路间是否覆盖等效关系.该算法通过求取乘积项余子式对逻辑函数进行分解和降阶处理,从而加快了覆盖等效性验证速度.电路测试结果表明,文中算法是稳定有效的;对EXPRESSO软件集成的3种算法所得电路的测试结果表明,与基于真值表和BDD的2种检测算法相比,该算法具有明显的速度优势.
- 张会红汪鹏君陈治文汪涛
- 关键词：组合逻辑电路余子式
- 基于穷举法的三值FPRM电路功耗最佳极性搜索被引量：2
- 2015年
- 鉴于n变量三值逻辑函数在不同极性下的FPRM(Fixed-polarity Reed-Muller)表达式繁简不一,与之对应的FPRM电路功耗不同.通过对三值FPRM逻辑表达式的研究,提出一种基于穷举法的三值FPRM电路功耗最佳极性搜索方法.首先根据三值逻辑函数表达式和开关信号传递理论,建立三值FPRM电路功耗估计模型;然后利用穷举法对三值FPRM电路进行功耗最佳极性搜索,得到功耗最优的FPRM电路;最后对13个MCNC Benchmark电路进行仿真验证.结果表明:与0极性相比,搜索到的最佳极性功耗平均节省72.72%.
- 厉康平汪鹏君张会红
- 关键词：功耗
- 基于模拟退火遗传算法的三值FPRM电路功耗优化被引量：3
- 2016年
- 在三值FPRM(Fixed-Polarity Reed-Muller)逻辑函数中,n变量函数有3n个固定极性.针对不同极性下FPRM电路功耗不同的特点,研究了三值FPRM逻辑表达式,提出一种基于模拟退火遗传算法的三值FPRM电路功耗优化方法.首先,根据三值逻辑函数表达式和开关信号传递理论,建立三值FPRM电路功耗估计模型;再利用模拟退火遗传算法对三值FPRM电路进行功耗最佳极性搜索,得到了功耗最低的FPRM电路;最后对13个MCNC Benchmark电路进行仿真.结果表明:与0极性相比,搜索到的最佳极性功耗平均节省了73.98%.
- 厉康平汪鹏君张会红
- 关键词：模拟退火遗传算法功耗
- 基于网表级的RM电路面积优化
- 2018年
- 固定极性RM(Fixed-Polarity Reed-Muller,FPRM)电路面积优化是集成电路优化设计中的重要部分。针对传统网表级优化耗费时间长、逻辑级优化准确度低等问题。本文提出了一种新的基于网表级RM电路优化方案,使用穷举算法或者改进型布谷鸟算法获取部分最优极性或近最优极性对应的电路表达式,再经过DC(Design Complier)综合选取最小的电路面积及其电路结构。MCNC Benchmark电路测试结果表明,利用所提方法减少了需要网表级综合的电路数目,同时优化后得到的电路面积比逻辑级优化节省12%。
- 王稼磊张会红汪鹏君张跃军
- 关键词：面积优化
- 基于人口迁移算法的三值FPRM电路面积最佳极性搜索被引量：1
- 2016年
- 人口迁移算法是一种新的全局优化搜索算法,主要模拟人口随着经济重心发生转移和随着压力增加而扩散的机制,其收敛性和全局寻优能力较强。三值固定极性RM(Fixed-polarity Reed-Muller,FPRM)电路的面积大小与其极性有关。通过对人口迁移算法的研究,提出了一种三值FPRM电路面积优化方案。首先根据三值FPRM表达式和电路面积之间的内在联系,建立面积优化模型;然后利用人口迁移算法对三值FPRM电路进行面积最佳极性搜索;最后对10个MCNC Benchmark电路进行测试。结果表明:与整体退火遗传算法相比,本文算法在面积和时间上分别平均节省10.04%和56.59%。
- 厉康平汪鹏君张会红
- 关键词：人口迁移算法面积优化
- 基于参数自适应布谷鸟算法的RM电路面积优化被引量：4
- 2018年
- 针对固定极性RM(fixed-polarity Reed-Muller,FPRM)电路面积优化问题,提出一种基于参数自适应布谷鸟算法的FPRM电路面积优化方案。在标准布谷鸟算法基础上,通过增加进化评估机制和参数自适应机制得到参数自适应布谷鸟算法。结合FPRM电路面积优化的特点,利用所提算法实现对FPRM电路的面积优化。最后采用MCNC Benchmark电路对该方案进行测试。测试结果表明,在RM电路面积优化中,参数自适应布谷鸟算法比遗传算法最优率提高21.5%,时间节省35%;比标准布谷鸟算法最优率提升2%,时间节省32%;与已有的改进型布谷鸟算法相比,最优率相同,时间节省35%。该方案具有更高的优化效率和性能。
- 王稼磊张会红汪鹏君张跃军
- 关键词：面积优化
- GA-DTPSO算法及其在混合极性XNOR/OR电路面积优化中应用被引量：7
- 2015年
- 针对n变量Reed-Muller(RM)逻辑函数具有3n个混合极性,对应着3n个繁简不同展开式的问题,提出一种遗传算法——离散三值粒子群优化(GA-DTPSO)算法对电路面积进行优化.首先根据RM电路的XNOR/OR实现形式,建立混合极性XNOR/OR电路面积优化的数学模型和改进混合极性XNOR/OR电路极性转换方法;然后在遗传算法中引入粒子群算法的搜索机制,结合混合极性的特点提出GA-DTPSO算法;最后利用GA-DTPSO算法进行混合极性XNOR/OR电路面积最佳极性搜索,得到面积最优的XNOR/OR电路.通过对14个MCNC和ISCAS基准电路进行测试的结果表明,该算法能有效地提高混合极性XNOR/OR电路面积优化效果.
- 俞海珍蒋志迪汪鹏君厉康平
- 关键词：粒子群优化算法面积优化
