孙飞
- 作品数：8 被引量：10H指数：2
- 供职机构：宁波大学更多>>
- 发文基金：国家自然科学基金浙江省科技厅项目浙江省自然科学基金更多>>
- 相关领域：电子电信轻工技术与工程天文地球更多>>
- 基于遗传算法的三值FPRM极性转换与优化
- 孙飞汪鹏君俞海珍汪迪生
- 关键词：遗传算法
- 文献传递
- 包含无关项逻辑函数的固定极性转换被引量：3
- 2013年
- 通过对Boolean逻辑和RM((Reed-Muller)逻辑的研究,针对Boolean逻辑函数SOP(Sum-of-Products)展开式中无关项取舍不确定的特点,结合快速列表技术,提出一种包含无关项逻辑函数的固定极性转换方法。该方法首先求出最小项和无关项的相关与项,然后生成最小项索引表以及无关项索引表,最后搜索无关项取舍,得到最佳固定极性RM(Fixed-Polarity Reed-Muller,FPRM)展开式。通过对10个MCNC Benchmark电路进行测试,结果表明:与不考虑无关项的极性转换方法相比,该方法能有效简化FPRM展开式。
- 汪迪生汪鹏君孙飞俞海珍
- 关键词：逻辑综合
- 三值FPRM逻辑电路面积最佳极性搜索
- 近年来，超大规模集成电路随着集成度的增加，芯片上晶体管数的集成数量越来越多，使得芯片面积成为集成电路发展不可忽视的问题。多值逻辑电路的出现为解决集成电路芯片面积和互连线增多等问题提供了有效的解决途径。三值逻辑电路是多值逻...
- 孙飞
- 关键词：面积优化
- 文献传递
- 一种用于数字电路设计的固定极性转换方法
- 本发明公开了一种用于数字电路设计的固定极性转换方法，首先读入包含无关项的布尔逻辑函数的SOP展开式；然后利用快速列表技术分别建立最小项索引表和无关项索引表；最后搜索最优无关项取舍，选择合适的无关项写入FPRM函数式，得到...
- 汪鹏君汪迪生蒋志迪孙飞
- 文献传递
- 三值FPRM电路极性间转换算法及其在面积优化中的应用被引量：6
- 2014年
- 通过对三值FPRM(Fixed-polarity Reed-Muller)展开式和四值列表技术的研究,提出了一种三值FPRM电路极性间转换算法,并将其应用于电路面积优化.首先根据四值RM(Reed-Muller)逻辑多项式系数的计算方法,推导出三值FPRM展开式极性间系数转换算法;然后利用该算法,结合三值模代数特点以及电路面积估计模型,沿非循环格雷码极性遍历路径进行三值FPRM电路面积最佳极性搜索,得到面积最优的FPRM电路.最后对8个MCNC基准电路进行测试,结果表明:与0极性Reed-Muller电路相比,三值FPRM电路的面积平均减少56.2%.
- 孙飞汪鹏君俞海珍
- 关键词：面积优化格雷码
- 一种用于数字电路设计的固定极性转换方法
- 本发明公开了一种用于数字电路设计的固定极性转换方法，首先读入包含无关项的布尔逻辑函数的SOP展开式；然后利用快速列表技术分别建立最小项索引表和无关项索引表；最后搜索最优无关项取舍，选择合适的无关项写入FPRM函数式，得到...
- 汪鹏君汪迪生蒋志迪孙飞
- 文献传递
- 一种新的判定逻辑函数适于异或逻辑实现的探测算法
- 通过对逻辑函数相应二元决策图BDD结构特点的研究,提出了一种用特征三角形来判定逻辑函数适于异或逻辑实现的方法并给出了相应算法。所提出的算法采用C语言进行实现,并对MCNCbenchmark电路进行了测试,结果验证了算法的...
- 孙飞夏银水
- 关键词：布尔逻辑逻辑函数
- 文献传递
- 基于遗传算法的三值FPRM电路面积优化被引量：1
- 2013年
- 三值逻辑函数在不同极性下的固定极性RM(reed-muller)电路实现形式所对应的电路面积不尽相同,通过对多值列表技术的研究,提出一种三值不同逻辑的极性转换算法。首先根据三值FPRM(fixed-polarity reed-muller)固定极性展开式的特点,建立三值FPRM电路面积估计模型;然后由多值列表技术推导出三值格代数积之和展开式到RM逻辑展开式极性转换算法。在此基础上,结合遗传算法,进行三值FPRM面积最佳极性搜索。通过对8个MCNC基准电路测试表明,所提算法搜索到的最佳极性三值FPRM电路,与0极性时相比,面积平均节省达到47.4%。
- 孙飞汪鹏君俞海珍汪迪生
- 关键词：逻辑转换遗传算法面积优化
