云南高校图书馆联盟文献共享服务平台- 国家高技术研究发展计划(2002AA1Z1460)

国家高技术研究发展计划(2002AA1Z1460): 作品数：35被引量：33H指数：3; 导出分析报告; 相关作者：洪先龙蔡懿慈经彤周强严晓浪更多>>; 相关机构：清华大学浙江大学香港中文大学复旦大学更多>>; 相关期刊：《计算机工程与设计》《微电子学》《半导体技术》《计算机工程与应用》更多>>; 相关主题：PLACEMENTVLSIINTERCONNECT布图ALGORITHM更多>>; 相关领域：电子电信自动化与计算机技术更多>>

Method of Verification for Manufacturing in Sub-Wavelength Design: 《Journal of Semiconductors》2006年第5期819-823,共5页王国雄严晓浪; 国家自然科学基金(批准号:90207002);国家高技术研究发展计划(批准号:2002AA1Z1460)资助项目~~; We describe a post resolution-enhancement-technique verification method for use in manufacturing data flow. The goal of the method is to verify whether designs function as intended,or more precisely, whether the print...; 关键词：verification for manufacturing resolution enhancement technique optical proximity correction

基于切割法的时序电路等价验证被引量：1: 《复旦学报（自然科学版）》2006年第1期102-106,共5页黄伟唐璞山; 国家自然科学基金资助项目(90207002);国家"八六三"计划资助项目(2002AA1Z1460); 在Van Eijk时序电路等价验证算法中引入切割法,提出一种改进算法.由切割法引发的错反问题同时得到解决,合理的切割可以使时序电路等价验证只需较少时间.改进算法用SAT解答器作为计算引擎.实验结果表明,改进算法的运行速度约为原先算法的...; 关键词：半导体技术计算机辅助设计形式验证 SAT解答器

一种基于遗传算法的VDSM IC电源网格动态IR-drop分析新方法被引量：1: 《电路与系统学报》2006年第1期1-5,共5页张培勇严晓浪史峥; 国家863计划资助项目(2002AA1Z1460); 提出了一种用于超深亚微米集成电路电源网格IR-drop验证的新方法。该方法以遗传算法为基础,与已有的分析方法相比,该方法兼具静态IR-drop分析法和动态IR-drop分析法的优点,适用于包含大型组合模块的超大规模集成电路,可主动寻找电路中最...; 关键词：VLSI CMOS 电源网格分析组合电路

Fast Analysis of Power/Ground Networks via Circuit Reduction被引量：1: 《Journal of Semiconductors》2005年第7期1340-1346,共7页蔡懿慈潘著 Sheldon X D Tan 洪先龙傅静静; 国家高技术研究发展计划(批准号:2002AA1Z1460);国家自然科学基金(批准号:90307017)资助项目~~; This paper presents an efficient algorithm for reducing RLC power/ground network complexities by exploitation of the regularities in the power/ground networks. The new method first builds the equivalent models for man...; 关键词：circuit simulation power/ground network model reduction RLC circuit

成品率驱动的光刻校正技术被引量：1: 《半导体技术》2005年第6期10-13,共4页王国雄; 国家自然基金资助项目(90207002);国家高新技术研究发展计划资助项目(2002AA1Z1460); 光刻校正技术已成为超深亚微米下集成电路设计和制造中关键的技术。简要介绍了几种典型的光刻校正技术的基本原理以及在IC设计中使用这些技术需要注意的问题,为可制造性设计提供有价值的指导。; 关键词：光刻光学邻近校正移相掩模可制造性设计

采用分层设计机制的布图系统集成: 《计算机辅助设计与图形学学报》2005年第5期1060-1067,共8页胡昱经彤洪先龙周强周汉斌; 国家自然科学基金 ( 60 3 73 0 12 );国家"八六三"高技术研究发展计划( 2 0 0 2AA1Z14 60 );教育部博士点基金 ( 2 0 0 2 0 0 0 3 0 0 8); 介绍了一个利用分层设计机制,将一个实际的VLSI布图系统进行集成的系统系统的设计与实现分为三个层次,即数据接口层(DIL)、数据管理层(DML)和数据显示层(DDL) 。; 关键词：布图系统系统集成分层设计机制四叉树

多层介质格林函数法求解导电衬底上的三维电容: 《微电子学》2005年第1期36-39,共4页李成张文俊余志平; 国家863计划资助项目(2002AA1Z1460); 文章重新推导了多层介质中的格林函数,解析地计算了格林函数的积分表达式,实现了一种能同时处理导电衬底和导体厚度的三维电容计算方法。由于使用了离散余弦变换等预处理方法,它比基于有限元和时域有限差分的算法的计算效率更高。在...; 关键词：格林函数衬底耦合三维电容部分电容矩阵

考虑障碍的多端点最小直角Steiner树构造算法被引量：1: 《计算机辅助设计与图形学学报》2005年第2期223-229,共7页杨旸经彤洪先龙朱祺王垠; 国家自然科学基金(60373012);国家"八六三"高技术研究发展计划(2002AA1Z1460);高校博士点基金(20020003008);清华大学骨干人才支持计划([2002]4); 首先将所有障碍视为不存在 ,构造初始Steiner树、连接线网所有端点 ,可采用已有的无障碍Steiner树算法来实现然后考虑障碍的影响 ,改造所构造的初始Steiner树 :找到初始Steiner树与障碍的相交点 ,重布某些树边 ,使它们绕过障碍 ,并尽...; 关键词：布线最小直角Steiner树障碍多端点线网

A New Clustering-Based Partitioning Method for VLSI Mixed-Mode Placement: 《Journal of Semiconductors》2005年第1期22-28,共7页吕勇强洪先龙杨长旗周强蔡懿慈; 国家自然科学基金 (批准号 :60 12 112 0 70 6和 60 0 760 16);美国国家自然科学基金 (批准号 :CCR 0 0 963 83 );国家高技术研究发展计划 (批准号 :2 0 0 2AA1Z14 60 );国家重点基础研究发展规划 (批准号 :G19980 3 0 40 3 )资助项目~~; An efficient partitioning algorithm for mixed-mode placement,extended-MFFC-based partitioning,is presented.It combines the bottom-up clustering and the top-down partitioning together.To do this,designers can not only ...; 关键词：mixed-mode placement extended MFFC HMETIS CLUSTERING partitioning

VLSI布图中基于XML中间数据源的数据表示: 《计算机工程与应用》2004年第24期41-44,共4页蔡琪周强经彤洪先龙; 国家自然科学基金国际合作(编号:60121120706)资助项目;国家863高技术研究发展计划项目(编号:2002AA1Z1460);高校博士点基金资助(编号:20020003008); 集成电路设计工艺进入超深亚微米后,互连线效应影响增大,使得布图过程复杂性增加。这对能够支持多层次、多迭代、结构化设计过程的EDA设计系统数据的模型与管理产生了迫切需求。文章设计了基于XML可扩展的中间数据源表示方法及其支撑构...; 关键词：布图基于XML中间数据源文件格式版本控制增量数据

国家高技术研究发展计划(2002AA1Z1460)