国家自然科学基金(61131001) 作品数:24 被引量:56 H指数:4 相关作者: 夏银水 王伦耀 储著飞 杜世民 陈偕雄 更多>> 相关机构: 宁波大学 浙江大学 复旦大学 更多>> 发文基金: 国家自然科学基金 浙江省自然科学基金 宁波市自然科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
基于双逻辑门级图形表示的功耗优化技术 被引量:3 2017年 针对现有基于传统布尔逻辑进行逻辑级功耗优化的局限性,提出逻辑函数基于传统布尔逻辑和Reed-Muller逻辑的双逻辑门级图形表示的功耗优化方法.首先在逻辑级采用简化有序二叉决策图实现逻辑函数的双逻辑表示;然后通过代数分解和布尔分解获得双逻辑门级表示,进而基于功耗成本估算进行门级功耗优化;最后实现变量级和门级的两层次的优化方法.与学术界著名的ABC和工业界最先进的工具Design Compile(DC)进行比较的实验结果表明,该方法均具有一定的优势. 马雪娇 厉琼莹 张骏立 夏银水关键词:低功耗 基于遗传算法的电压岛感知的多电压分配 被引量:3 2013年 功耗是当前SoC设计所面临的最大挑战之一,多电压设计是一种降低SoC芯片功耗的有效方法.在后布局阶段应用多电压设计,首先对现有电源网络复杂性度量方法进行改进,然后提出了一个同时考虑功耗、电源网络复杂性及电平转换器的新目标函数,并采用遗传算法进行最优电压分配.对GSRC测试电路的实验结果表明,所提出的算法不仅能有效降低芯片功耗,同时可以将多电压设计的额外开销控制在一个较低的水平.此外,改进的电源网络复杂性度量方法在功耗节省和电平转换器数量方面较已有的有一定的优势. 杜世民 夏银水 戚利侠关键词:遗传算法 电平转换器 Through-silicon-via crosstalk model and optimization design for three-dimensional integrated circuits 被引量:3 2014年 Through-silicon-via (TSV) to TSV crosstalk noise is one of the key factors affecting the signal integrity of three- dimensional integrated circuits (3D ICs). Based on the frequency dependent equivalent electrical parameters for the TSV channel, an analytical crosstalk noise model is established to capture the TSV induced crosstalk noise. The impact of various design parameters including insulation dielectric, via pitch, via height, silicon conductivity, and terminal impedance on the crosstalk noise is analyzed with the proposed model. Two approaches are proposed to alleviate the TSV noise, namely, driver sizing and via shielding, and the SPICE results show 241 rnV and 379 mV reductions in the peak noise voltage, respectively. 钱利波 朱樟明 夏银水 丁瑞雪 杨银堂基于M4结构的混合逻辑全加器设计 2014年 针对全加器速度和功耗日益突出的矛盾,提出一种基于M4结构的混合逻辑全加器(HLM4-FA)设计方案.通过两个独立的部分分别产生输出信号,减小电路模块间内部信号的输出负载,优化器件的延时.针对不同的模块,采用混合逻辑设计方法,克服单一逻辑设计电路的局限性,降低电路的功耗,从而降低全加器的功耗延时积.与Hybird、Hybird_CMOS和SR_CPL_Buffer全加器相比,延时和功耗延时积减小分别达33%和37%,有效节省了电路能耗. 夏银水 王士恒 钱利波关键词:集成电路技术 全加器 运算电路 混合逻辑 低能耗 延时 功耗延时积 适合RM逻辑实现的逻辑搜索和拆分算法 2012年 针对以往算法在搜索适合Reed-Muller(RM)逻辑实现的逻辑子覆盖中存在的不足,提出基于不相交乘积项的搜索方法.该方法通过将逻辑函数转化为不相交乘积项的集合,并搜索符合约束条件的不相交乘积项的多数覆盖以及根据乘积项之间的位操作结果,将逻辑函数拆分成二部分,使之分别适合RM逻辑实现和传统布尔逻辑实现.提出的算法用C编程实现,并用MCNC电路测试.实验结果表明,相比于以往的方法,提出的算法能够有效扩大搜索范围,并且具有运行速度快且对逻辑函数的输入变量数量不敏感等特点. 王伦耀 夏银水 陈偕雄关键词:逻辑优化 大函数ISFPRM面积优化方法 被引量:3 2018年 针对以往在ISFPRM优化过程中只能处理小规模电路的不足,提出了一种新的乘积项十进制表示和处理方法来实现大电路ISFPRM面积优化.具体包括:ISFPRM多位变量的十进制数表示,基于二进制插值的极性转换方法,以及基于整数的位运算遗传算法实现ISFPRM面积优化.提出的算法能有效地避免以往算法在处理输入较多的函数时效率低下甚至无法工作的情况,算法的性能用MCNC标准电路作为测试.实验结果表明,提出的算法可以处理输入变量个数为199个的大电路,算法的速度对待处理电路的变量数不敏感特点,引入不确定项后,电路面积优化明显. 瞿婷 王伦耀 罗文强 夏银水关键词:位运算 GA算法 逻辑函数高阶布尔c-偏导数求解的算法实现 2017年 针对已有方法在求解布尔c-偏导数时只能解决小规模电路的问题,提出一种基于变量操作运算的大函数高阶布尔c-偏导数求解算法.首先将高阶布尔c-偏导数求解运算转化为逻辑函数的展开运算;然后根据乘积项是否包含需要展开的变量将函数分解成需要展开和不需要展开的二部分,进一步提高算法的速度.文中算法用C语言编程实现,并用MCNC测试电路进行了测试,结果表明,该算法能快速实现大函数高阶c-偏导数的求解;其效率与函数拆分的结果有关,但对输入变量的数量不敏感. 瞿婷 王伦耀 夏银水 储著飞关键词:高阶 位运算 基于SRAM型FPGA单粒子效应的故障传播模型 被引量:3 2017年 SRAM型FPGA在辐射环境中易受到单粒子翻转的影响,造成电路功能失效.本文基于图论和元胞自动机模型,提出了一种针对SRAM型FPGA单粒子效应的电路故障传播模型.本文将单粒子翻转分为单位翻转和多位翻转来研究,因为多位翻转模型还涉及到了冲突处理的问题.本文主要改进了耦合度的计算方式,通过计算FPGA布局布线中的相关配置位,从而使得仿真的电路故障传播模型更接近于实际电路码点翻转的结果,与以往只计算LUT相关配置位的方法比较,平均优化程度为19.89%.最后阐述了本模型在故障防御方面的一些应用,如找出最易导致故障扩散的元胞. 吴珊 周学功 王伶俐关键词:现场可编程门阵列 单粒子翻转 多电压SoC引线压焊供电引脚分配及电源网络拓扑优化 被引量:4 2014年 针对较大电压降易导致电压岛内电路宏模块供电不足,引起电路失效的问题,基于引线压焊技术封装芯片,提出一种面向多电压技术的电压岛供电引脚分配及电源网络拓扑优化方法.首先根据电压岛的物理布图信息,采用弹簧模型确定电压岛供电引脚位置实现电压降优化;然后通过建立稠密的虚拟电源网络,利用增量式方法完成电源网络的拓扑优化.通过对GSRC标准电路测试的实验结果表明,与固定供电引脚方法相比,文中提出的供电引脚分配方法平均降低电压降26.1%;而电源网络拓扑优化方法产生的非规则网络,使得电源网络布线面积较规则电源网络的布线面积平均降低84.5%. 储著飞 夏银水 王伦耀 翟军关键词:片上系统 电源网络 适于智能水表的低功耗低噪声放大器设计 2013年 采用交叉源耦合差分结构以及有源器件并联技术,提出了一种适合智能水表芯片前端具有对称结构的低功耗低噪声放大器.基于标准0.35μm CMOS工艺进行实现,PSPICE仿真测试结果表明,在2.5V的典型电源电压和1kHz的输入信号频率下,所提出的放大器等效输入噪声为9.1nV·Hz-1/2,系统功耗为104μW.具有低噪声和低功耗的特性,已达到智能水表芯片系统的工作需求. 潘亮亮 夏银水关键词:低噪声放大器 低功耗