关于派员参加第一届ic高级人才培训的请示.docVIP

课 程 安 排 时间 模块 培训大纲 12.17-20 数字ASIC设计方法、Verilog HDL编码、仿真、综合以及静态时序分析 Session 1： Session 2： Digital IC Verification and Formal Analysis Session 1: Digital IC Verification Verification Methodology Verification Plan Verification Execute Verification Measure Verification React Verification Process Management Session 2: Assertion Based Verification and Formal Analysis ABV Introduction and Methodology (Simulation + Formal) Property Terminology Assertion Language (PSL + SVA) Formal ABV Methodology Assertion Coding Methodology Incremental Adoption and Final Summary ASIC Library Design and Physical Implementation Session 1: ASIC Library Design and Place and Route ASIC Library Design and Design Data Preparation Floorplanning, Powerplanning and Placement Clock Tree Synthesis Routing of IC Design Session 2: Static Timing Analysis and Design Sign-Off RC Extraction and Delay Calculation Static Timing Analysis in Physical Design Design Optimization and Sign-Off Session 3: Power Analysis and Low Power Design Power Library Generation Static Power Analysis Dynamic Power Analysis Power Analysis for 65nm Design and Below Session 4: Signal Integrity Analysis Noise Library SI Analysis Delay Analysis SI Optimization 12.21-23 SoC设计验证方法学，包括系统架构和软硬件协同设计与验证技术 Session 1: 什么是SoC验证 SoC验证的问题及发展趋势 验证计划 先进的验证技术 Session 2: 基于断言的验证方法（ABV） Session 3: 系统架构设计 常见的嵌入式CPU及DSP介绍 常见的系统总线 多核架构系统设计 基于平台的SoC设计 Session 3: 什么是电子系统级（ESL）设计 ESL设计的方法学 事务级建模（TLM） 电子系统级设计工具 电子系统级设计实例 国家IP核标准 标准框架及标准简介 按照IP开发流程，以一个例子讲解标准的应用。 IP核设计、验证及评测 IP核的现状和市场 IP核设计理念和市场前景 现阶段国内外IP核的技术水平分析 中国IP核的发展策略 数字软IP核开发流程 数字软IP核的设计 数字软IP核的验证 数字软IP核评测流程 IP核第三方评估方法学 IP核评测流程 师资介绍 姓名 简介 工作经历 于敦山 博士，北京大学信息科学技术学院 副教授。中国计算机学会微计算机专业委员会秘书长。主要从事微处理器及数字信号处理系统芯片设计。九五期间，作为设计技术负责人参加国家重点科技攻关预研项目两项。十五期间，主持了863项目一项，省部级项目三项，企业项目三项。发表论文40余篇，出版译著四部。主讲本科生必修课程“数字集成电路设计”，研究生必修课程“微处理器组织与设计” 沙燕萍 现为Cadence公司资深技术支持工程师, 2005年至今在Cadence 办公室负责数字设计前端工作的支持，以及中国地区基于?Incisive 和 Conformal平台工具的设计服务及技术支持工作。2003-2005年期间，曾经先后担任大唐微电子和意法半导体公司的资深