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

發(fā)布人：芯片揭秘時間：2023-05-09 來源：工程師

加入技術交流群
- 掃碼加入
  和技術大咖面對面交流
  海量資料庫查詢

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

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

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

我們始終堅信：
關鍵技術是要不來、買不來、討不來的；
使用自主可控的EDA軟件，
才能在一輪又一輪的格局變化中，
站穩(wěn)腳跟，向上發(fā)展！

大賽介紹

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

賽事合作

華大九天

阿卡思

華為云

培訓安排

專業(yè)的國產(chǎn)EDA工具課程體系

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

免費的云端國產(chǎn)EDA工具實操機會

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

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

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

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

課程大綱

一、形式化驗證原理介紹
1. 技術背景
1.1行業(yè)趨勢
1.2 數(shù)字前端驗證趨勢
1.3驗證的方法：仿真、形式化驗證、靜態(tài)檢查等
2. 形式化驗證原理
2.1什么是形式化驗證
2.2形式化方法的分類
3. 形式化驗證VS仿真驗證
3.1形式化驗證與仿真的區(qū)別
3.2形式化驗證的優(yōu)缺點
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 寫斷言的一些建議（經(jīng)驗）

三、AveMC使用方法介紹
1. 簡介.
2. 流程概述.
3. 簡單使用實例.
4. AveMC的引用于設計和驗證過程的概念、步驟、和命令 .

四、案例一——交通燈
1.設計要求.
2.RTL級電路講解。
3. 設計過程.
3.1建立一個AveMC形式化驗證的開發(fā)環(huán)境
3.2使用cover property去理解這個設計
3.3創(chuàng)建斷言(assert)去驗證功能特征
4. 總結case.

五、案例二——仲裁器
1.設計要求.
2.RTL級電路講解。
3. 設計過程.
3.1建立一個AveMC形式化驗證的開發(fā)環(huán)境
3.2使用cover property去理解這個設計
3.3創(chuàng)建斷言(assert)去驗證功能特征
4.總結case.

六、案例三——FIFO緩存
1.設計要求.
2.RTL級電路講解。
3. 設計過程.
3.1建立一個AveMC形式化驗證的開發(fā)環(huán)境
3.2使用cover property去理解這個設計
3.3創(chuàng)建斷言(assert)去驗證功能特征
4.總結case.
注：該文件為公開課大綱，具體課程細節(jié)由演講人決定。

培訓二：數(shù)?；旌想娐非岸嗽O計與優(yōu)化

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

以模擬/數(shù)?；旌想娐窞榇淼腎C設計全流程解決方案是華大九天起步最早、技術積累最長、功能覆蓋最完善的一站式EDA解決方案，是全球四大定制IC設計全流程平臺之一，也是國內(nèi)唯一的全定制IC設計EDA平臺，通過本次培訓，可以讓大家掌握模擬IC電路圖設計、前仿真、波形調(diào)試、版圖生成和設計、物理驗證、寄生參數(shù)提取、后仿真驗證的一整套IC設計全流程。

課程大綱

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

第二次培訓內(nèi)容：數(shù)字電路Verilog代碼的設計和導入、小規(guī)模數(shù)字電路的仿真、數(shù)?；旌想娐返脑O計和仿真以及模擬IC的DRC/LVS物理驗證、模擬IC的寄生參數(shù)提取和后仿真等環(huán)節(jié)的具體演示。

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