周电

作品数：28被引量：53H指数：4
导出分析报告
供职机构：复旦大学更多>>
发文主题：模拟电路可制造性集成电路技术集成电路设计平面布局更多>>
发文领域：电子电信自动化与计算机技术理学更多>>
发文期刊：《计算机工程与应用》《电子学报》《微电子学与计算机》《计算机辅助设计与图形学学报》更多>>
所获基金：国家高技术研究发展计划国家自然科学基金美国国家科学基金中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种考虑漏电流功耗的快速校正线性模型的瞬态热分析方法被引量：1
《复旦学报（自然科学版）》2023年第1期69-82,共14页陈德政 严超 严昌浩 朱恒亮 周电 曾璇 
国家重点研发计划(2020YFA0711900,2020YFA0711904);国家自然科学基金(61974032,62141407,61929102,61674042)。
随着集成电路特征尺寸不断缩小,三维集成电路越来越受重视。然而,由于三维集成电路采用多层堆叠,导致芯片内部能量密度极高、散热困难。因此,精确的三维集成电路热分析是控制三维集成电路温度的重要前提。此外,实验结果表明稳态和瞬态...
关键词：三维集成电路 瞬态热分析 泄漏功耗 校正线性模型 
基于SAT的分离制造攻击方法
《复旦学报（自然科学版）》2019年第6期696-705,718,共11页刘佳琳 陆昆 严昌浩 周海 周电 曾璇 
芯片代工厂可能进行诸如IP盗版、过度生产和硬件木马插入等一系列的恶意攻击.分离制造是一种抵御来自芯片代工厂芯片攻击的重要技术.针对分离制造工艺,目前最好的攻击方法是基于网络流的邻近攻击算法,但在多数情况下,这种邻近攻击算法...
关键词：分离制造 布尔可满足性 CycSAT 基于SAT的攻击 
基于物理设计约束的模拟电路尺寸设计的优化算法GMSGA被引量：3
《复旦学报（自然科学版）》2019年第5期605-612,共8页梁生欣 王梦硕 杨帆 严昌浩 曾璇 周电 
在模拟电路自动化尺寸设计方法中,基于仿真的方法精度高但耗时巨大.考虑到物理设计的约束,基于优化的模拟电路尺寸设计问题可以看作混合整数规划问题,然而利用传统的方法解决这类问题耗时巨大.为了解决该问题,本文提出一种新的优化算法...
关键词：模拟电路自动化 物理设计 混合整数规划 贪婪算法 
利用正交方法解SAT问题
《复旦学报（自然科学版）》2008年第6期786-790,共5页荆明娥 陈更生 赵长虹 唐璞山 周电 
国家自然科学基金资助项目(60773125,60673029);中国博士后科学基金资助项目;上海市自然科学基金资助项目(06ZR14016)
提出了一种解决SAT问题的新算法.该算法首先定义了子句之间的正交关系;然后从消除子句之间的交叠信息出发,利用正交子句的特性,结合有效的简化技术,逐渐将问题简化为一组与原问题完全等价的正交子句组;最后,根据正交子句组对整个赋值空...
关键词：可满足性问题 卡诺图 正交子句 NP完全问题 
H.264反变换反量化器的硬件设计被引量：5
《微电子学与计算机》2008年第1期144-148,共5页赵爽 王勇 周晓方 周电 
上海-应用材料研究与发展基金项目(06SA10)
针对高清电视应用,实现了面向H.264主层面CABAC解码模块输出之后的宏块残差的顺序调整、反变换和反量化操作。借助高效组织的SRAM,本设计有效地连接了残差调序和反变换反量化两个部分,硬件资源得以充分利用,较好地解决了残差调序的时间...
关键词：高清电视 H.264 主层面 反变换 反量化 
启发式极性决策算法解SAT问题被引量：3
《中国科学（E辑）》2007年第12期1597-1606,共10页荆明娥 周电 唐璞山 周晓方 张华 
中国国家自然科学基金(批准号:60773125;90207002;90307017;60676018);美国国家科学基金(CCR-0306298);中国博士后科学基金(批准号:KLH1202005);上海市自然科学基金(批准号:06ZR14016)资助项目
提出了一种启发式极性决策的可满足性问题(SAT)新算法.该算法继承了当前SAT解决器的许多策略:快速BCP、子句记录、重启动搜索等.同时,该算法通过预先根据Karnaugh图的覆盖分布计算变量极性,将其加入到DPLL的决策过程中,大大降低了搜索...
关键词：可满足性问题 DPLL 完全算法 变量决策 
一种基于JTAG的软硬件协同SOC调试接口被引量：5
《微电子学与计算机》2007年第11期34-37,共4页刘洋 吴王华 周晓方 周电 
国家"863"计划项目(2003AA1Z1120);上海市科委SDC项目(037062020)
提出了一种处理器片上调试系统。使用科学的设计方法学完成了硬件与软件部分的设计,采用优化策略改进了硬件部分,得到了测试覆盖率高、稳定性较高、实时性较好的可调试SOC。软件部分通过层次化设计,连接硬件和UI,具有一定的价值。
关键词：JTAG 软硬件协同 全寄存器长链 无缝切换 长短链结合 
一种改进的有界模型检验子句规则被引量：1
《微电子学与计算机》2007年第11期103-106,109,共5页尹文波 荆明娥 周电 周晓方 
国家自然科学基金项目(90207002);国家"863"高技术研究发展计划(2003AA1Z1120;2004AA1Z1050)
为有界模型检验提出了改进的子句规则。在节点分类的基础上,首先对精简布尔电路表示进行逻辑化简,去掉功能冗余节点;然后识别、记录和处理多元运算的操作数,把多元运算作为单个节点直接生成子句;最后合并相邻节点,根据合并后的逻辑关系...
关键词：可满足性问题 有界模型检验 子句规则 精简布尔电路 
利用近似解加速求解SAT问题的启发式完全算法被引量：5
《计算机辅助设计与图形学学报》2007年第9期1184-1189,共6页荆明娥 周电 唐璞山 周晓方 
国家自然科学基金(90307017;60176017;90207002);中国博士后科学基金(KLH1202005);上海市自然科学基金(06ZR14016).
结合DPLL完全算法能够证明可满足性(SAT)问题的不可满足性和局部搜索算法快速的优点,提出利用近似解加速求解SAT问题的启发式完全算法.首先利用局部搜索算法快速地得到一个近似解,并将该近似解作为完全算法的初始输入,用于其中分支变量...
关键词：SAT问题 完全算法 局部搜索 变量决策 
低管脚数接口在USB2.0主机控制器中的应用被引量：1
《微电子学与计算机》2007年第8期76-78,82,共4页唐晓燕 周晓方 闵昊 周电 
国家"863"计划项目(2003AA1Z1120);上海-应用材料研究与发展基金项目(06SA10)
在复杂SOC设计中,通常外围众多的输入输出单元会造成芯片总面积较大、后续封装和布局的成本提高。针对该问题分析了一种通用的低管脚数优化设计模型,将其应用于USB2.0主机控制器的链路层和物理层接口,用Verilog硬件描述语言实现了RTL级...
关键词：低管脚数接口 UTMI+协议 ULPI协议 输入输出单元限制 内核限制 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部