美國斷供？我輩崛起！國產EDA工具應用賽即將開啟，等你來

8月12日，美國商務部工業安全局BIS宣布對設計GAAFET（全柵場效應晶體管）結構集成電路所必須的EDA軟件等四項技術實施新的出口管制。

美國的EDA電子設計自動化軟件對中國企業的熔斷，已經是第三次了。2018年禁售中興，2019年斷供華為，2022年則面對整個中國企業。

當下，國內大多數芯片設計公司仍在采用進口的EDA工業軟件來設計芯片，這也就導致了國內芯片設計領域難以實現真正意義上的國產化。一旦美國斷供EDA軟件，短時間內肯定會嚴重影響國內芯片企業的設計能力，但另一方面也意味著國產EDA軟件將徹底崛起。

我們始終堅信：

關鍵技術是要不來、買不來、討不來的；

使用自主可控的EDA軟件，

才能在一輪又一輪的格局變化中，

站穩腳跟，向上發展！

2022浦東新區長三角集成電路技能大賽以“奮進新征程，建功引領區”為主題，聚焦以集成電路產業為核心的泛科技領域，圍繞國產EDA工具應用展開，通過應用技術培訓、線下交流會、EDA工具線上應用賽等形式，聚焦產業重要環節，注重產業、人才、技能的協同配合，推動關鍵領域國產技術的推廣，助力芯片國產化生態鏈的完善。

華大九天

阿卡思

華為云

專業的國產EDA工具課程體系

資深EDA及云服務技術團隊在線答疑

免費的云端國產EDA工具實操機會

垂直社群終身建立，打入EDA培訓核心圈

培訓一：形式化驗證原理及應用

形式化驗證是數字前端三大驗證方法之一，是唯一的完備性驗證軟件工具。形式化驗證方法學現在已經在知名公司得到廣泛應用，幫助IC數字前端驗證工程師發現若干其他驗證手段無法發現的設計缺陷。

本課程包含形式化驗證原理、數字前端驗證趨勢、SVA語法介紹，并教學如何使用阿卡思微電子AveMC建立形式化驗證開發環境，及通過2-3個案例創建斷言驗證功能。

課程大綱

一、形式化驗證原理介紹

1. 技術背景

1.1行業趨勢

1.2 數字前端驗證趨勢

1.3驗證的方法：仿真、形式化驗證、靜態檢查等

2. 形式化驗證原理

2.1什么是形式化驗證

2.2形式化方法的分類

3. 形式化驗證VS仿真驗證

3.1形式化驗證與仿真的區別

3.2形式化驗證的優缺點

4.形式化驗證的應用

二、SVA語法簡介

1.SVA介紹.

1.1概述

1.2 SVA簡介

1.3 斷言的分類

2.SVA語法.

2.1 斷言語句的類型

2.2 SVA的基本組成

2.3 斷言在設計中的位置

2.4 斷言的具體語法（運算符、操作符、延遲、[->n]、[=n]...）

2.5 寫斷言的一些建議（經驗）

三、AveMC使用方法介紹

1. 簡介.

2. 流程概述.

3. 簡單使用實例.

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

四、案例一——交通燈

1.設計要求.

2.RTL級電路講解。

3. 設計過程.

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

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

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

4. 總結case.

五、案例二——仲裁器

1.設計要求.

2.RTL級電路講解。

3. 設計過程.

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

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

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

4.總結case.

六、案例三——FIFO緩存

1.設計要求.

2.RTL級電路講解。

3. 設計過程.

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

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

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

4.總結case.

注：該文件為公開課大綱，具體課程細節由演講人決定。

培訓二：數模混合電路前端設計與優化

本次培訓是基于華大九天的模擬電路設計全流程EDA工具系統，介紹華大九天及其AMS全流程產品，幫助大家了解華大九天的工具和設計流程。

以模擬/數模混合電路為代表的IC設計全流程解決方案是華大九天起步最早、技術積累最長、功能覆蓋最完善的一站式EDA解決方案，是全球四大定制IC設計全流程平臺之一，也是國內唯一的全定制IC設計EDA平臺，通過本次培訓，可以讓大家掌握模擬IC電路圖設計、前仿真、波形調試、版圖生成和設計、物理驗證、寄生參數提取、后仿真驗證的一整套IC設計全流程。

課程大綱

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

第二次培訓內容：數字電路Verilog代碼的設計和導入、小規模數字電路的仿真、數模混合電路的設計和仿真以及模擬IC的DRC/LVS物理驗證、模擬IC的寄生參數提取和后仿真等環節的具體演示。

8月24日起，每周三、日晚七點，相約芯片揭秘直播間，一起在云端動手體驗國產EDA工具。

https://100000548687.survey.n.weimob.com/saas/survey/100000548687?formId=F9934706825564160&channelSign=default

點擊鏈接，按需報名

選擇最適合你的課程安排！

一等獎 5000元

二等獎 3000元

三等獎 2000元

更有團隊榮譽搶不停

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

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

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

團隊人數：每隊1-3人

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

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

詳細賽題將在培訓期間揭秘，搶先報名培訓，讓自己獲得“先發優勢”！

點擊參賽：
https://100000548687.survey.n.weimob.com/saas/survey/100000548687?formId=F9930467482992640&channelSign=default

更多詳情請點擊以下鏈接：美國斷供？我輩崛起！國產EDA工具應用賽即將開啟，等你來！