1. Unix/Linux操作系统使用
2. 文本编辑器VIM
3. 数字电路技术基础
4. 半导体电路和工艺基础
5. 数字逻辑设计
6. 数字集成电路设计流程
7. Verilog HDL硬件描述语言和电路设计技术与技巧
8. 电路验证技术以及Modelsim、VCS等验证工具的使用
9. ASIC和SOC设计导论
10. FPGA设计和验证初步
11.数字电路验证
1)验证平台的建立
2)功能测试
12.设计综合(synthesys)
13.扫描链生成
14.仿真测试
1)DFT
2)ATPG
15.静态时序分析(STA)
16.项目实战:
1)RTL coding
2)状态机中断处理
3)testbench 建立
4)Testcase创建
17.项目实战二:
1)RTL coding
2)通讯数据协议E1
3)异步电路处理
4)算法
5)CPU控制
6)Testbench建立和testcase
7)综合和DFT
8)STA
18.数字前端全流程设计工具
19.相关工艺库文件IC技术
20. 逻辑综合初步以及SYNOPSYS DC等综合工具的使用
21. 可测性设计技术
重点讲解数字电路设计的综合技术的基本概念,综合流程和工程经验,使学员掌握基于synopsys DC的综合技巧。
内容包括:
综合机理的分析;组合电路和时序电路实现规则和实例分析;基于tcl综合的流程,优化处理和调试技术;综合处理与后端流程的联系;可综合代码技术;需深入研究的内容;LPC 接口模块综合实验
ASIC DFT技术
介绍可测试设计技术,使学员掌握基于Synopsys DFT 的可测性电路设计方法
内容包括:
背景分析;组合电路和时序电路的测试;可测试设计;需深入研究的内容;DFT compile 使用(基于TCL的可测试性设计流程);LPC接口模块DFT实验
ASIC 静态时序分析技术
介绍静态时序分析技术;使学员掌握基于Synopsysy PrimeTime的静态时序分析技术。
内容包括:
背景分析;电路时序分析的基础内容;工具的使用;静态时序分析模式选择;注意事项及需深入研究的内容;LPC接口模块实验
一致性验证(Formal)技术介绍
介绍一致性验证技术,使学员了解基于Synopsys Formality 的一致性验证方法
内容包括:
背景分析;工具的使用介绍
22.
形式验证技术。基于Formality的形式验证方法、基于匹配策略的形式验证技术、基于TCL的形式验证过程。
23、功耗控制技术。基于PrimePower的功耗分析技术,基于Power Compiler的时钟门控技术、基于数字单元库的功耗分析方法、基于TCL的功耗分析等多种功耗分析方法和时钟门控技术的实现。
24、LAYOUT设计流程。基于ASTRO的芯片Layout技术及基于SPEF反标提取的PostLayout相关数字流程,包含在PostLayout中的网表提取、参数提取、形式验证、静态实现验证、门级功能仿真、功耗分析,以及Layout验证(DRC、LVS)等技巧。
25、UWB项目开发过程中的各种电路优化手段。
26、UWB项目介绍。立项分析、实现方案的规划。
27、VLSI系统的设计方法学。时序分析法、基于Snopsys EDA Tools Chain实现的完整ASIC设计流程、数字设计库的介绍,分析、创建,及使用。
28、编码及仿真技巧。编码规范、RTL验证仿真技术、门级仿真技术。
29、ASIC设计流程的高级话题。例如跨时钟域信号的处理,同步抚慰电路设计及相关流程处理等设计技巧。
30. 项目设计实训:
大型实训项目一.Sigma-Delta小数分频器设计、验证与综合
大型实训项目二.DVI编码器/解码器设计、验证与综合