王伦耀
- 作品数：139 被引量：107H指数：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数字逻辑电路的设计方法
- 本发明公开了一种CMOS数字逻辑电路的设计方法，其构建待设计的CMOS数字逻辑电路的逻辑功能的逻辑函数表达式对应的“与‑或”树，并获取“与‑或”树的互补树；然后计算“与‑或”树及其互补树各自的“与”结点、“或”结点、叶子...
- 王伦耀岑旭梦夏银水
- 文献传递
- 一种面向多供电电压技术的片上系统布图规划方法
- 本发明公开了一种面向多供电电压技术的片上系统布图规划方法，优点在于提出的方法能根据对网表的静态时序分析，插入虚拟电平移位器为布图中的电平移位器布局提供足够的空白面积；此外，在布图阶段，通过建立内部循环将电平移位器布局的物...
- 夏银水储著飞王伦耀
- 文献传递
- 一种逻辑电路近似实现方法
- 本发明公开了一种逻辑电路近似实现方法，其在引入错误的同时可以将两个乘积项合并成一个乘积项，从而实现了逻辑函数的进一步简化；考虑到简单的逻辑函数的逻辑表达式往往对应简单的电路结构，因此，本发明方法使得一些逻辑电路有了更大的...
- 王伦耀应秋红夏银水储著飞
- 文献传递
