數字集成電路前端設計培訓課程

?

培訓大綱

?

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、功耗控制技術?；?/font>PrimePower的功耗分析技術，基于Power Compiler的時鐘門控技術、基于數字單元庫的功耗分析方法、基于TCL的功耗分析等多種功耗分析方法和時鐘門控技術的實現。