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

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

加入技術(shù)交流群
- 掃碼加入
  和技術(shù)大咖面對(duì)面交流
  海量資料庫查詢

8月12日，美國(guó)商務(wù)部工業(yè)安全局BIS宣布對(duì)設(shè)計(jì)GAAFET（全柵場(chǎng)效應(yīng)晶體管）結(jié)構(gòu)集成電路所必須的EDA軟件等四項(xiàng)技術(shù)實(shí)施新的出口管制。

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

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

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

大賽介紹

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

賽事合作

華大九天

阿卡思

華為云

培訓(xùn)安排

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

資深EDA及云服務(wù)技術(shù)團(tuán)隊(duì)在線答疑

免費(fèi)的云端國(guó)產(chǎn)EDA工具實(shí)操機(jī)會(huì)

垂直社群終身建立，打入EDA培訓(xùn)核心圈

培訓(xùn)一：形式化驗(yàn)證原理及應(yīng)用

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

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

課程大綱

一、形式化驗(yàn)證原理介紹
1. 技術(shù)背景
1.1行業(yè)趨勢(shì)
1.2 數(shù)字前端驗(yàn)證趨勢(shì)
1.3驗(yàn)證的方法：仿真、形式化驗(yàn)證、靜態(tài)檢查等
2. 形式化驗(yàn)證原理
2.1什么是形式化驗(yàn)證
2.2形式化方法的分類
3. 形式化驗(yàn)證VS仿真驗(yàn)證
3.1形式化驗(yàn)證與仿真的區(qū)別
3.2形式化驗(yàn)證的優(yōu)缺點(diǎn)
4.形式化驗(yàn)證的應(yīng)用

二、SVA語法簡(jiǎn)介
1.SVA介紹.
1.1概述
1.2 SVA簡(jiǎn)介
1.3 斷言的分類
2.SVA語法.
2.1 斷言語句的類型
2.2 SVA的基本組成
2.3 斷言在設(shè)計(jì)中的位置
2.4 斷言的具體語法（運(yùn)算符、操作符、延遲、[->n]、[=n]...）
2.5 寫斷言的一些建議（經(jīng)驗(yàn)）

三、AveMC使用方法介紹
1. 簡(jiǎn)介.
2. 流程概述.
3. 簡(jiǎn)單使用實(shí)例.
4. AveMC的引用于設(shè)計(jì)和驗(yàn)證過程的概念、步驟、和命令 .

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

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

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

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

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

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

課程大綱

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

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

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