8月24日，2022浦東新區集成電路技能大賽國產EDA工具應用培訓課程正式啟動，來自長三角地區及其他集成電路產業聚集地的芯片工程師、學者齊聚一堂，多平臺同步直播。

來自華大九天、阿卡思微電子的資深團隊在接下來的幾周里持續為大家帶來6次線上課程。24日和28日的兩次課程屬于“培訓一：形式化驗證原理及應用”范疇，分別由阿卡思的技術支持總監馮煌和高級技術支持工程師胡濤主講。

形式化驗證原理介紹中，馮煌老師解讀了技術背景和行業趨勢，對什么是形式化驗證以及分類做了說明，并重點闡釋了形式化驗證和仿真驗證的區別。

SVA語法簡介課程中，胡濤老師對SVA的概述和基本組成、斷言的分類、斷言在設計中的位置、具體語法和寫斷言的一些建議做了細致講解。

直播的最后，主講人還對評論區的留言提問進行了解答，直播間氛圍積極熱烈，兩次課程累計觀看人數近千人。

本周三、周日，還有兩場直播課程即將上線，沒有來得及參與的你還不來一睹為快？

8月31日晚19:00課程安排

AveMC使用方法介紹

1. 簡介.

2. 流程概述.

3. 簡單使用實例.

4. AveMC的引用于設計和驗證過程的概念、步驟、和命令

案例實訓

案例一——交通燈

1.設計要求.

2.RTL級電路講解。

3. 設計過程.

3.1建立一個AveMC形式化驗證的開發環境

3.2使用cover property去理解這個設計

3.3創建斷言(assert)去驗證功能特征

4. 總結case.

9月4日晚19:00課程安排

案例實訓

案例二——FIFO緩存

1.設計要求.

2.RTL級電路講解。

3. 設計過程.

3.1 建立一個AveMC形式化驗證的開發環境

3.2 使用cover property去理解這個設計

3.3 創建斷言(assert)去驗證功能特征

4.總結case.

注：以上為公開課大綱，具體課程細節由主講人決定。

模擬電路設計全流程工具的整體情況，以及模擬IC的電路原理圖設計、層次化電路原理圖設計、模擬 IC 的仿真分析、波形查看，DC 反標，指標優化、模擬IC 原理圖驅動版圖生成等環節的具體演示。

數字電路Verilog代碼的設計和導入、小規模數字電路的仿真、數?；旌想娐返脑O計和仿真以及模擬IC的DRC/LVS物理驗證、模擬IC的寄生參數提取和后仿真等環節的具體演示。

//培訓看不過癮？摩拳擦掌想在線battle？別急，我們還有國產EDA工具應用賽等著你！

9月17-18日，國產EDA工具應用賽將在線上火熱展開！兩條賽道任你選擇，報名大賽將優先獲得云端EDA工具體驗權限~

國產EDA工具應用賽

——競逐榮譽，共建生態

集成電路設計是將市場需求細化為系統、邏輯與性能的設計要求，并進一步轉化為具體物理版圖，以供后續生產的過程，是集成電路產業的關鍵環節。隨著電路的復雜度逐漸提升，EDA工具已然成為芯片設計的必選項，國產EDA工具的飛速發展也迎來轉機。

為此，國產EDA工具應用賽應運而生，大賽將基于國產EDA工具設計賽題，設置兩大賽題，了解和體驗國產EDA工具產品，通過遠程云上比賽的方式，增進產業工程師對國產EDA品牌的了解，推動國產芯片設計生態的完善。

一等獎，獎金5000元

二等獎，獎金3000元

三等獎，獎金2000元

比賽時間：9月17日/18日

參賽對象：半導體相關工程師

比賽形式：遠程登錄云平臺，線上比拼

賽道數量：2個（每支團隊限參加1題）

團隊人數：每隊1-3人

方向1：基于國產EDA工具的形式化驗證應用

方向2：基于國產EDA工具的數模混合電路設計與優化

點擊「鏈接」參賽

查看報名詳情：國產EDA大賽培訓進行時！你還不來？

詳細賽題將在培訓期間揭秘，敬請期待。鎖定培訓課程，享一手賽題資訊，獲勝幾率更大哦！

了解更多大賽介紹，

報名參加大賽活動，

跟蹤大賽實時信息，

點擊瀏覽大賽官方網站：

http://www.shanghai-ic.com

或關注公眾號IC上海、

浦東工會通了解詳情

上海市張江科學城康橋工業區總工會

姓名：趙駿輝

茄子（上海）管理咨詢有限公司

姓名：孫智超