国家教育部博士点基金(20113305110001)
- 作品数：9 被引量：13H指数：2
- 相关作者：夏银水王伦耀储著飞苏蒙蒙翟军更多>>
- 相关机构：宁波大学浙江大学更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金浙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 三输入高性能AND/XOR复合门电路设计被引量：1
- 2015年
- 针对现有"与/异或"(AND/XOR)复合门级联设计电路存在功耗大、延时长等不足,提出一种基于晶体管级的三输入AND/XOR复合门电路结构.通过采用多轨结构、缩短传输路径以及混合CMOS逻辑设计方法,克服了原有电路中单一逻辑和单轨结构信号路径长的不足,进而提高了电路性能.在55nm的CMOS技术工艺和PTM多种工艺下,经过HSPICE模拟和Cadence提取版图的后仿真,显示所设计的电路具有正确的逻辑功能,相较于采用门电路级联而成的AND/XOR电路,本电路在不同负载、频率和PVT组合等情况下的延时、功耗和功耗延迟积(PDP)都得到了明显改善.
- 黄春蕾王伦耀梁浩夏银水
- 关键词：功耗延迟积
- 适合RM逻辑实现的逻辑搜索和拆分算法
- 2012年
- 针对以往算法在搜索适合Reed-Muller(RM)逻辑实现的逻辑子覆盖中存在的不足,提出基于不相交乘积项的搜索方法.该方法通过将逻辑函数转化为不相交乘积项的集合,并搜索符合约束条件的不相交乘积项的多数覆盖以及根据乘积项之间的位操作结果,将逻辑函数拆分成二部分,使之分别适合RM逻辑实现和传统布尔逻辑实现.提出的算法用C编程实现,并用MCNC电路测试.实验结果表明,相比于以往的方法,提出的算法能够有效扩大搜索范围,并且具有运行速度快且对逻辑函数的输入变量数量不敏感等特点.
- 王伦耀夏银水陈偕雄
- 关键词：逻辑优化
- 基于伪布尔可满足性的纳米CMOS电路单元配置被引量：4
- 2012年
- 针对传统布尔可满足性(SAT)法在处理纳米CMOS电路(CMOL)单元配置时,存在合取范式(CNF)表示的约束子句个数过多、中间处理文件过大的问题,该文提出了利用伪布尔可满足性(PBS)来解决CMOL电路的单元配置问题。实验结果显示,相对于传统的SAT法,PBS法在不增加额外的布尔变量集个数的条件下,通过降低编码过程中的约束个数,能有效减少中间处理文件大小,达到提高算法效率和提高处理大电路的能力。
- 王先建王伦耀储著飞夏银水
- 关键词：布尔可满足性
- 多电压SoC引线压焊供电引脚分配及电源网络拓扑优化被引量：4
- 2014年
- 针对较大电压降易导致电压岛内电路宏模块供电不足,引起电路失效的问题,基于引线压焊技术封装芯片,提出一种面向多电压技术的电压岛供电引脚分配及电源网络拓扑优化方法.首先根据电压岛的物理布图信息,采用弹簧模型确定电压岛供电引脚位置实现电压降优化;然后通过建立稠密的虚拟电源网络,利用增量式方法完成电源网络的拓扑优化.通过对GSRC标准电路测试的实验结果表明,与固定供电引脚方法相比,文中提出的供电引脚分配方法平均降低电压降26.1%;而电源网络拓扑优化方法产生的非规则网络,使得电源网络布线面积较规则电源网络的布线面积平均降低84.5%.
- 储著飞夏银水王伦耀翟军
- 关键词：片上系统电源网络
- CMOL电路容错单元映射
- 2016年
- 结合电路的拓扑排序优化映射初始解,利用进化算法进行单元映射,提出了基于蛇形编码的容错映射方法,实现了存在缺陷情况下的容错映射.与已有的方法相比,提出的算法具有求解电路规模大、速度快的优点。
- 苏蒙蒙夏银水储著飞陈定亨王伦耀
- 关键词：容错
- 时延约束下快速门级双电压分配算法
- 2015年
- 针对门级电压分配算法速度慢的问题,提出了一种时延约束下基于门分组的双电压分配算法。通过门工作在低、高电压下的延时差与时延裕量的比较,将门分为高电压门组和低电压门组;针对违反时延约束的关键路径上的低电压门(称为关键低电压门),采用最小割法逐渐升高其电压至电路满足时延约束。通过对ISCAS’85标准电路测试的实验结果表明,与已发表的算法比较,不但功耗有一定改进,且算法速度快。
- 涂凤娥夏银水储著飞王伦耀
- 基于快速模拟退火算法的可切割布图规划方法被引量：2
- 2012年
- 为了提高基于经典模拟退火算法的可切割布图规划方法的效率和效果,提出了一种动态改变温度下降比例来实现快速模拟退火算法的可切割布图规划方法,并将提出的方法应用于MCNC基准电路进行测试.实验结果表明该算法可以提高搜索优化解的效率和效果.
- 罗佐杜世民戚利侠夏银水
- 关键词：VLSI设计
- 面向缺陷集簇分布的CMOL电路容错映射算法
- 2015年
- 为提高CMOS/纳米线/分子混合电路的成品率,提出一种基于分段蛇形编码的容错映射算法。根据纳米阵列缺陷分布的集簇性特点,给出缺陷整体分类方法。在阵列连通域的约束条件下对电路进行分段蛇形编码以避开缺陷单元,提高电路映射边的成功率,获得优化的初始映射解。依据目标函数设定违反约束映射边的惩罚系数,并采用自适应遗传算法对解空间进行搜索,实现电路的容错映射。ISCAS89标准电路的测试结果表明,与现有容错映射算法相比,该算法在运行时间、电路规模和映射成功率方面均具有较高的性能优势。
- 苏蒙蒙夏银水储著飞
- 一种改进的混合极性列表技术被引量：2
- 2015年
- 针对基于多输出混合极性Reed-Muller逻辑表达式极性转换问题,提出了基于不相交项的列表极性转换方法,并通过极性搜索实现函数的最小化.结果表明:与传统列表极性转换法相比,提出的新方法能有效降低时间复杂度.
- 李新文夏银水王伦耀
- 关键词：列表法
