国家教育部博士点基金(20113305110001)

作品数：9被引量：13H指数：2
导出分析报告
相关作者：夏银水王伦耀储著飞苏蒙蒙翟军更多>>
相关机构：宁波大学浙江大学更多>>
相关期刊：《计算机工程与应用》《微电子学与计算机》《计算机辅助设计与图形学学报》《中国科技论文》更多>>
相关主题：RM逻辑容错布尔可满足性SOC更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
CMOL电路容错单元映射
《中国科技论文》2016年第14期1576-1581,共6页苏蒙蒙 夏银水 储著飞 陈定亨 王伦耀 
高等学校博士学科点专项科研基金资助项目(20113305110001)
结合电路的拓扑排序优化映射初始解,利用进化算法进行单元映射,提出了基于蛇形编码的容错映射方法,实现了存在缺陷情况下的容错映射.与已有的方法相比,提出的算法具有求解电路规模大、速度快的优点。
关键词：不规则纳米阵列 容错 单元映射 初始解 
面向缺陷集簇分布的CMOL电路容错映射算法
《计算机工程》2015年第8期244-251,共8页苏蒙蒙 夏银水 储著飞 
国家教育部博士点基金资助项目(20113305110001)
为提高CMOS/纳米线/分子混合电路的成品率,提出一种基于分段蛇形编码的容错映射算法。根据纳米阵列缺陷分布的集簇性特点,给出缺陷整体分类方法。在阵列连通域的约束条件下对电路进行分段蛇形编码以避开缺陷单元,提高电路映射边的成功率...
关键词：CMOS/纳米线/分子混合电路 缺陷率 分段蛇形编码 初始解 容错映射 
三输入高性能AND/XOR复合门电路设计被引量：1
《浙江大学学报（理学版）》2015年第3期310-315,共6页黄春蕾 王伦耀 梁浩 夏银水 
国家自然科学基金资助项目(61131001;61228105;61471211);教育部博士点基金资助项目(20113305110001);宁波市自然科学基金资助项目(2013A610009)
针对现有"与/异或"(AND/XOR)复合门级联设计电路存在功耗大、延时长等不足,提出一种基于晶体管级的三输入AND/XOR复合门电路结构.通过采用多轨结构、缩短传输路径以及混合CMOS逻辑设计方法,克服了原有电路中单一逻辑和单轨结构信号路径...
关键词：与/异或 混合CMOS逻辑 多轨结构 功耗延迟积 晶体管级 
时延约束下快速门级双电压分配算法
《计算机工程与应用》2015年第11期201-205,共5页涂凤娥 夏银水 储著飞 王伦耀 
国家自然科学基金重点项目(No.61131001);教育部博士点基金(No.20113305110001);宁波市自然科学基金(No.2013A610003);浙江省教育厅科研项目(No.Y201016754)
针对门级电压分配算法速度慢的问题,提出了一种时延约束下基于门分组的双电压分配算法。通过门工作在低、高电压下的延时差与时延裕量的比较,将门分为高电压门组和低电压门组;针对违反时延约束的关键路径上的低电压门(称为关键低电压门)...
关键词：分组 最小割 时延裕量 双电压分配 
一种改进的混合极性列表技术被引量：2
《宁波大学学报（理工版）》2015年第1期42-46,共5页李新文 夏银水 王伦耀 
国家自然科学基金重点项目(61131001);浙江省自然科学基金重点项目(Z1090622);教育部博士点基金(20113305110001)
针对基于多输出混合极性Reed-Muller逻辑表达式极性转换问题,提出了基于不相交项的列表极性转换方法,并通过极性搜索实现函数的最小化.结果表明:与传统列表极性转换法相比,提出的新方法能有效降低时间复杂度.
关键词：列表法 混合极性RM逻辑 极性转换 不相交项 
多电压SoC引线压焊供电引脚分配及电源网络拓扑优化被引量：4
《计算机辅助设计与图形学学报》2014年第9期1501-1508,共8页储著飞 夏银水 王伦耀 翟军 
国家自然科学基金重点项目(61131001);国家自然科学基金(61228105);教育部博士点基金(20113305110001);宁波大学研究生优秀学位论文培育基金(PY20110001);国家级大学生创新创业训练计划(201211646017)
针对较大电压降易导致电压岛内电路宏模块供电不足,引起电路失效的问题,基于引线压焊技术封装芯片,提出一种面向多电压技术的电压岛供电引脚分配及电源网络拓扑优化方法.首先根据电压岛的物理布图信息,采用弹簧模型确定电压岛供电引脚...
关键词：片上系统 多电压 供电引脚分配 电源网络 
适合RM逻辑实现的逻辑搜索和拆分算法
《浙江大学学报（工学版）》2012年第11期2089-2096,共8页王伦耀 夏银水 陈偕雄 
国家自然科学基金重点资助项目(61131001);国家自然科学基金资助项目(61228015);国家教育部博士点基金资助(20113305110001);浙江省自然科学基金资助项目(LY12F01014)
针对以往算法在搜索适合Reed-Muller(RM)逻辑实现的逻辑子覆盖中存在的不足,提出基于不相交乘积项的搜索方法.该方法通过将逻辑函数转化为不相交乘积项的集合,并搜索符合约束条件的不相交乘积项的多数覆盖以及根据乘积项之间的位操作结...
关键词：Reed-Muller逻辑 双逻辑 逻辑拆分 逻辑优化 
基于伪布尔可满足性的纳米CMOS电路单元配置被引量：4
《电子与信息学报》2012年第10期2508-2513,共6页王先建 王伦耀 储著飞 夏银水 
国家自然科学基金重点项目(61131001);教育部博士点基金(20113305110001)资助课题
针对传统布尔可满足性(SAT)法在处理纳米CMOS电路(CMOL)单元配置时,存在合取范式(CNF)表示的约束子句个数过多、中间处理文件过大的问题,该文提出了利用伪布尔可满足性(PBS)来解决CMOL电路的单元配置问题。实验结果显示,相对于传统的SAT...
关键词：纳米CMOS电路 单元配置 布尔可满足性 伪布尔可满足性 
基于快速模拟退火算法的可切割布图规划方法被引量：2
《微电子学与计算机》2012年第9期109-112,共4页罗佐 杜世民 戚利侠 夏银水 
国家自然科学基金重点项目(61131001);浙江省自然科学基金重点项目(Z1090622);教育部博士点基金(20113305110001)
为了提高基于经典模拟退火算法的可切割布图规划方法的效率和效果,提出了一种动态改变温度下降比例来实现快速模拟退火算法的可切割布图规划方法,并将提出的方法应用于MCNC基准电路进行测试.实验结果表明该算法可以提高搜索优化解的效...
关键词：VLSI设计 可切割布图规划 快速模拟退火算法 波兰正则表达式 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部