王伦耀
- 作品数：141 被引量：109H指数：6
- 供职机构：宁波大学信息科学与工程学院更多>>
- 发文基金：国家自然科学基金浙江省自然科学基金宁波市自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学理学更多>>
- 基于Majority逻辑门映射的电路面积优化
- 2019年
- 提出了一种采用三输入Majority逻辑门(M门)和反相器实现电路逻辑功能的电路面积优化算法.该算法首先用动态规划策略完成电路的AIG(And-Inverter Graph)切割,然后通过搜索适合M门覆盖的AIG子结构以及与门和M门之间的等效替代,将AIG转换为适合M门映射的MIG(Majority-Inverter Graph),最后用Ω法则和Ψ法则对MIG进行简化,得到节点数更少的MIG,从而实现基于M门映射的电路面积优化.优化算法用C语言实现,并用MCNC电路测试.结果表明,相比于逻辑综合工具ABC的结果,用M门映射后电路面积可得到平均约12%左右的优化.
- 吴达斌王伦耀夏银水
- 关键词：映射算法逻辑优化
- 近似算术逻辑电路的最大绝对输出误差的计算方法
- 本发明公开了一种近似算术逻辑电路的最大绝对输出误差的计算方法，其通过比较近似算术逻辑电路与原始算术逻辑电路之间输出逻辑函数对应的两个逻辑覆盖之间的差异来计算最大绝对输出误差，而两个逻辑覆盖之间的差异可以通过逻辑覆盖之间的...
- 王雪王伦耀夏银水储著飞
- 一种基于XMG组合电路的等价性验证装置及方法
- 本发明公开的基于XMG组合电路的等价性验证装置包括依次连接的输入读取模块、构建Miter电路模块、电路结构转换模块、常量替换算法模块和等价性判断模块，本发明通过结合更加适用于XMG网络的XMG内部XOR节点的常量替换算法...
- 储著飞朱柏成夏银水王伦耀
- 一种片上系统的低功耗电压岛划分方法
- 本发明公开了一种片上系统的低功耗电压岛划分方法，优点在于提出的方法松弛了电压岛必须为矩形的形状约束，基于已有的矩形电压岛生成技术，通过搜索电压岛，进行电压岛相邻判定等步骤将若干个工作在同一电压下且位置相邻的电压岛进行粘合...
- 夏银水储著飞王伦耀
- 文献传递
- 一种数字逻辑电路的子电路提取方法
- 本发明公开了一种数字逻辑电路的子电路提取方法，通过利用逻辑函数乘积项之间的不相交锐积运算，实现从原始电路对应的逻辑函数的乘积项集合中除去属于子电路对应的逻辑函数的那部分乘积项集合，从而实现子电路从原始电路中的提取，本发明...
- 王伦耀夏银水储著飞
- 文献传递
- 基于伪布尔可满足性的纳米CMOS电路单元配置被引量：4
- 2012年
- 针对传统布尔可满足性(SAT)法在处理纳米CMOS电路(CMOL)单元配置时,存在合取范式(CNF)表示的约束子句个数过多、中间处理文件过大的问题,该文提出了利用伪布尔可满足性(PBS)来解决CMOL电路的单元配置问题。实验结果显示,相对于传统的SAT法,PBS法在不增加额外的布尔变量集个数的条件下,通过降低编码过程中的约束个数,能有效减少中间处理文件大小,达到提高算法效率和提高处理大电路的能力。
- 王先建王伦耀储著飞夏银水
- 关键词：布尔可满足性
- CMOS数字逻辑电路中MOS晶体管总沟道宽度的估算方法
- 本发明公开了一种CMOS数字逻辑电路中MOS晶体管总沟道宽度的估算方法，其根据待处理的CMOS数字逻辑电路的逻辑功能的逻辑函数表达式中的乘积项，估算待处理的CMOS数字逻辑电路的上拉网络中的所有pMOS晶体管的总沟道宽度...
- 罗文强王伦耀瞿婷夏银水
- 纳米/CMOS电路单元的快速映射被引量：1
- 2011年
- 针对纳米/CMOS混合电路(CMOL)单元映射问题,提出一种基于混合遗传算法的映射算法.将任意布尔电路转换为适于CMOL映射的基于或非门的电路,读入该电路进行染色体编码,形成初始种群;每一代种群经过二维交叉算子、变异算子进行解空间全局搜索,并引入模拟退火算法进行局部搜索使种群个体得以改进.对ISCAS和MCNC标准电路的实验结果表明,采用该算法进行求解不仅使电路面积小、时延短,且具有求解速度快、能处理规模较大电路的特点.
- 储著飞夏银水王伦耀
- 关键词：映射混合遗传算法
- 基于虚拟单元映射的电路面积优化算法
- 2018年
- 相比较于标准单元库映射,library-free映射中采用的动态生成的虚拟单元,具有更大的灵活性,因而在电路面积优化上往往可以取得更好的效果.本文提出的基于虚拟单元的面积优化算法包括面积估算和覆盖策略两部分.在面积估算上提出了基于n元树和逻辑努力的虚拟单元的CMOS电路实现及面积估算方法.在覆盖策略上提出了一种带有局部寻优策略的离散粒子群优化算法.MCNC测试电路的实验结果表明,相比较于标准单元库映射,对于绝大多数电路,本文给出的算法可以使电路面积得到进一步的优化.
- 罗文强王伦耀岑旭梦夏银水
- 关键词：逻辑优化映射算法
- 基于不相交乘积项的逻辑探测和拆分算法被引量：3
- 2012年
- 针对以往逻辑探测算法存在的不足,提出了一种基于不相交乘积项的逻辑探测和拆分算法.该算法通过将逻辑函数的乘积项转化为不相交乘积项,并结合不相交乘积项之间海明距关系将不相交乘积项拆分成互不相交的二部分,使之分别适合RM逻辑综合和布尔逻辑综合.通过对拆分结果分析,本文进一步提出了一种新的逻辑探测方法.实验结果表明,本文的判别结果能对电路综合过程中的逻辑选择提供一个良好的指导作用.
- 王伦耀夏银水陈偕雄叶锡恩
- 关键词：布尔逻辑
