91欧美超碰AV自拍|国产成年人性爱视频免费看|亚洲 日韩 欧美一厂二区入|人人看人人爽人人操aV|丝袜美腿视频一区二区在线看|人人操人人爽人人爱|婷婷五月天超碰|97色色欧美亚州A√|另类A√无码精品一级av|欧美特级日韩特级

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會(huì)員中心
創(chuàng)作中心

完善資料讓更多小伙伴認(rèn)識(shí)你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

IC設(shè)計(jì)流程概述

電路和微電子考研 ? 來源:電路和微電子考研 ? 作者:電路和微電子考研 ? 2022-11-10 16:25 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

面試時(shí)被問到了對IC設(shè)計(jì)流程的理解,隱約覺得和FPGA的整套流程有點(diǎn)像,但確實(shí)沒接觸過,在此總結(jié)一下。

芯片開發(fā)流程如下圖所示,芯片設(shè)計(jì)被分為兩個(gè)階段:前端設(shè)計(jì)和后端設(shè)計(jì)階段。

6df33e60-60c9-11ed-8abf-dac502259ad0.png

前端設(shè)計(jì)

1.1 市場需求分折文件

(Market Rcouirement Document,MRD)

芯片開發(fā)的第一項(xiàng)工作,是一個(gè)市場調(diào)研報(bào)告,說明了潛在市場規(guī)模和可獲取市場規(guī)模。

客戶向芯片設(shè)計(jì)公司(稱為Fabless,無晶圓設(shè)計(jì)公司)提出的設(shè)計(jì)要求,包括芯片需要達(dá)到的具體功能和性能方面的要求;

1.2 架構(gòu)文件

這是一個(gè)關(guān)于系統(tǒng)構(gòu)成和芯片架構(gòu)的高層次描達(dá)文件,涉及芯片的高層次操作、引腳分配與定義、軟件編程模型、可測性、寄存器定義以及應(yīng)用模型等。

1.3 微架構(gòu)文件

它包括芯片內(nèi)部操作的細(xì)節(jié)、時(shí)鐘和復(fù)位方案、主要模塊的功能描述、典型數(shù)據(jù)路徑描述、緩沖區(qū)需求分析、吞吐率和延遲分析、中斷和功率管理等問題。

這是多個(gè)設(shè)計(jì)者在采用高級語言( Verilog或VHDL)進(jìn)行設(shè)計(jì)時(shí)所依照的藍(lán)圖。

1.4 RTL設(shè)計(jì)

芯片被劃分成多個(gè)塊,每個(gè)塊又被劃分成多個(gè)模塊。多個(gè)設(shè)計(jì)者使用Verilog 或VHDL共同承擔(dān)設(shè)計(jì)工作。使用Lint和其他結(jié)構(gòu)工具以保證所有的設(shè)計(jì)遵循共同的基本設(shè)計(jì)指導(dǎo)原則。

Lint工具用于檢查RTL代碼錯(cuò)誤,其檢查的范用從基本的矢量寬度不匹配到時(shí)鐘交叉和同步問題。使用一個(gè)好的代碼分析工具對RTL代碼進(jìn)行檢查以便在早期就發(fā)現(xiàn)設(shè)計(jì)和代碼中的錯(cuò)誤是非常有益的。

常見的商用代碼分析工具有:Atrenta的Spyglass、Synopsys的Leda、Cadence的Surelint、Springsoft的nLint和eritools的HDLint等。

1.5 驗(yàn)證

1.5.1 功能驗(yàn)證

在RTL設(shè)計(jì)完成后,需要對其進(jìn)行功能驗(yàn)證。

它需要一個(gè)testbench驗(yàn)證環(huán)境,基于此環(huán)境可以生成測試激勵(lì)并進(jìn)行設(shè)計(jì)驗(yàn)證。

System Verilog, OVM/UVM是目前最新的驗(yàn)證語言和驗(yàn)證方法,可以進(jìn)行受約束的隨機(jī)化驗(yàn)證。

通常需要一個(gè)高層次的,對測試場景進(jìn)行描述的文件。

仿真工具用于通過各種測試用例對設(shè)計(jì)進(jìn)行仿真。每一種測試用例都會(huì)針對芯片的某些功能進(jìn)行測試。仿真工具記錄所有內(nèi)部信號(hào)在每個(gè)時(shí)鐘周期的狀態(tài)值,這對于發(fā)現(xiàn)設(shè)計(jì)錯(cuò)誤的內(nèi)部細(xì)節(jié)非常重要。商用的仿真工具有Silvaco的SILos、Mentor的Modelsim和Questa、Cadence的nCSim、Synopsys的VCS等。

1.5.2 模擬

芯片設(shè)計(jì)時(shí),經(jīng)常會(huì)使用FPGA進(jìn)行系統(tǒng)模擬驗(yàn)證。FPGA與芯片類似,都使用綜合后的網(wǎng)表實(shí)現(xiàn)所需要的功能,但FPGA更為靈活。FPGA最初是一塊空白的芯片,用戶的設(shè)計(jì)經(jīng)過綜合后得到比特文件,燒錄到FPGA中之后可以實(shí)現(xiàn)與芯片相同的功能。FPGA可以反復(fù)燒錄,易于進(jìn)行設(shè)計(jì)修改。

使用FPGA實(shí)現(xiàn)芯片功能,在系統(tǒng)中進(jìn)行實(shí)際驗(yàn)證,有助于從系統(tǒng)級對芯片的功能進(jìn)行實(shí)際驗(yàn)證,可以先期就開發(fā)軟件和驅(qū)動(dòng)程序,這些都有助于在流片之前發(fā)現(xiàn)隱藏較深的設(shè)計(jì)缺陷。

目前,F(xiàn)PGA模擬已經(jīng)成為芯片開發(fā)流程中的一個(gè)標(biāo)準(zhǔn)環(huán)節(jié)。

后端設(shè)計(jì)

2.1 綜合

綜合是使用軟件工具將RTL代碼(Verilog或VHDL)轉(zhuǎn)換為邏輯門(與門、或門和觸發(fā)器等)的過程。綜合工具可以按照某些原則,如最小面積或最佳定時(shí)特性,生成綜合后的網(wǎng)表。

在開始綜合之前,我們需要編寫綜合約束文件。綜合約束文件中需要說明的一些重要內(nèi)容包括以下幾點(diǎn):

時(shí)鐘頻率:這是綜合工具需要知道的最重要的信息,它決定了滿足定時(shí)要求的情況下兩個(gè)觸發(fā)器之間可以有多少級邏輯電路。

優(yōu)化目標(biāo):最小面積或最佳定時(shí)特性。如果工作頻率較低,定時(shí)不存在問題,那么我們可以將綜合過程的優(yōu)化目標(biāo)確定為最小面積;如果定時(shí)要求苛刻,那么綜合的優(yōu)化目標(biāo)應(yīng)該為最佳定時(shí)特性,此時(shí)綜合工具可能會(huì)將某些電路設(shè)計(jì)為并行或流水線結(jié)構(gòu),這會(huì)增大芯片面積,但定時(shí)特性會(huì)更好。

輸出延遲和輸入延遲:當(dāng)一個(gè)模塊的輸出與另一個(gè)模塊的輸人相連接時(shí),我們需要對輸出引腳的輸出延遲和輸人引腳的輸入延遲進(jìn)行描述。

展平(fattening)與保持層次(keeping hierarchy):當(dāng)保持層次時(shí),RTL代碼在模塊級進(jìn)行綜合,其輸入輸出引腳被保留。當(dāng)設(shè)計(jì)被展平后,綜合時(shí)不考慮模塊之間的邊界。

一些常用的綜合工具有,

ASIC:Synopsys的DC(Design Compiler)、Cadence(RTL Compiler)和Magma的Talus等。

FPGA:Mentor的Precision、Synopsys的Synplify family、Xilinx的XST、AlteraQuartus、Magma的BlastFPGA等。

2.2 STA

STA ( Statie Timing Analysis., 靜態(tài)定時(shí)分析)是一種用于發(fā)現(xiàn)芯片在綜合或布局布線之后的邏輯是否滿足定時(shí)要求的方法。RTL代碼綜合和布局在線之后,就可以將邏輯門及邏輯門之間互聯(lián)信導(dǎo)線的延遲參數(shù)提取出來,這一過程稱為延遲提取。在同步設(shè)計(jì)中,信號(hào)從一個(gè)觸發(fā)器的輸出、經(jīng)過多個(gè)邏輯門之后進(jìn)入另一個(gè)觸發(fā)器的輸入端。

STA工具可以計(jì)算出從一個(gè)觸發(fā)器的輸出到另一個(gè)觸發(fā)器入之間的最大延遲,最大延遲值應(yīng)小于1個(gè)時(shí)鐘周期,這樣才能保證輸出的信號(hào)在本周期內(nèi)到達(dá)下一個(gè)觸發(fā)器,并且不會(huì)出現(xiàn)建立時(shí)間不滿足要求的問題。STA工具還會(huì)計(jì)算從一個(gè)觸發(fā)器的輸出到另一個(gè)觸發(fā)器輸入之間的最小延遲,最小延遲用于確保延遲值大于觸發(fā)器所需要的保持時(shí)間。

常見的STA工具有,Synopsys Prime Time、Cadence CTE(Common Timing Engine)、Mentor SST Velocity、Magma等。

2.3 門級仿真

門級仿真是在包含定時(shí)信息的情況下檢查芯片功能是否正確。

此時(shí)芯片內(nèi)部的所有延遲都放標(biāo)注出來,因此所有內(nèi)部節(jié)點(diǎn)和邏輯門的邏輯值變化都包含了實(shí)際的延遲。這反映了真實(shí)芯片的操作行為。

2.4 布局布線(layout)

在這一階段,layout 工具將綜合后的網(wǎng)表讀入,所有邏輯門都以晶體管和其他基本元件的方式出現(xiàn)。

有些芯片的layout是由布局布線工具自動(dòng)完成的。

有些高頻設(shè)計(jì)需要以手工的方式進(jìn)行布局布線。

2.5 提交設(shè)計(jì)數(shù)據(jù)(tape-out)

芯片布局布線后,可以提取出精確的定時(shí)信息并反饋給STA工具進(jìn)行精確的定時(shí)特性檢查。此后還需要進(jìn)行設(shè)計(jì)規(guī)則檢查(Design Rule Check,DRC)。這些工作都完成后,就可以將設(shè)計(jì)數(shù)據(jù)提交給芯片制造廠了。早期進(jìn)行芯片設(shè)計(jì)時(shí),都是以磁帶來存儲(chǔ)芯片設(shè)計(jì)數(shù)據(jù)的,因此稱為tape-out。目前多以電子文檔的方式提交數(shù)據(jù),已經(jīng)不使用磁帶了,但這一稱呼沿用至今。

系統(tǒng)實(shí)現(xiàn)

3.1 實(shí)驗(yàn)室測試

芯片的工程樣片需要安裝在預(yù)先設(shè)計(jì)好的評估板上進(jìn)行實(shí)際應(yīng)用測試。

第一次所投的芯片被稱為工程樣片,目的是發(fā)現(xiàn)芯片在實(shí)際應(yīng)用時(shí)存在的問題并解決這些問題。

第二次所投芯片如果經(jīng)過全面測試后沒有發(fā)現(xiàn)任何問題,那么這一批芯片就可以作為正式的產(chǎn)品。

有些博客在前后端劃分有不一樣,有的前端將綜合和STA包括進(jìn)前端設(shè)計(jì)中。

因此其前端包括:規(guī)格制定、詳細(xì)設(shè)計(jì)、HDL編碼、仿真驗(yàn)證、邏輯綜合、STA和形式驗(yàn)證,前端設(shè)計(jì)的結(jié)果就是得到了芯片的門級網(wǎng)表電路;

后端劃分更細(xì),包括:

DFT:Design For Test,可測性設(shè)計(jì)。DFT的常見方法就是,在設(shè)計(jì)中插入掃描鏈,將非掃描單元(如寄存器)變?yōu)閽呙鑶卧?/p>

DFT工具有Synopsys的DFT Compiler。

布局規(guī)劃(FloorPlan):布局規(guī)劃就是放置芯片的宏單元模塊,在總體上確定各種功能電路的擺放位置,如IP模塊,RAM,I/O引腳等等;布局規(guī)劃能直接影響芯片最終的面積。

工具為Synopsys的Astro。

CTS:Clock Tree Synthesis,時(shí)鐘樹綜合,時(shí)鐘的布線;由于時(shí)鐘信號(hào)在數(shù)字芯片的全局指揮作用,它的分布應(yīng)該是對稱式的連到各個(gè)寄存器單元,從而使時(shí)鐘從同一個(gè)時(shí)鐘源到達(dá)各個(gè)寄存器時(shí),時(shí)鐘延遲差異最小,這也是為什么時(shí)鐘信號(hào)需要單獨(dú)布線的原因。

CTS工具有Synopsys的Physical Compiler。

布線(Place & Route):普通信號(hào)布線,包括各種標(biāo)準(zhǔn)單元(基本邏輯門電路)之間的走線;比如我們平常聽到的0.13um工藝,或者說90nm工藝,實(shí)際上就是這里金屬布線可以達(dá)到的最小寬度,從微觀上看就是MOS管的溝道長度。

寄生參數(shù)提?。河捎趯?dǎo)線本身存在的電阻,相鄰導(dǎo)線之間的互感,耦合電容在芯片內(nèi)部會(huì)產(chǎn)生信號(hào)噪聲,串?dāng)_和反射;這些效應(yīng)會(huì)產(chǎn)生信號(hào)完整性問題,導(dǎo)致信號(hào)電壓波動(dòng)和變化,如果嚴(yán)重就會(huì)導(dǎo)致信號(hào)失真錯(cuò)誤;提取寄生參數(shù)進(jìn)行再次的分析驗(yàn)證,分析信號(hào)完整性問題是非常重要的。

工具Synopsys的Star-RCXT。

版圖物理驗(yàn)證:對完成布線的物理版圖進(jìn)行功能和時(shí)序上的驗(yàn)證,驗(yàn)證項(xiàng)目很多,如LVS(Layout Vs Schematic)驗(yàn)證,簡單說,就是版圖與邏輯綜合后的門級電路圖的對比驗(yàn)證;DRC(Design Rule Checking),設(shè)計(jì)規(guī)則檢查,檢查連線間距,連線寬度等是否滿足工藝要求;ERC(Electrical Rule Checking),電氣規(guī)則檢查,檢查短路和開路等電氣 規(guī)則違例。

工具為Synopsys的Hercules。

實(shí)際的后端流程還包括電路功耗分析,以及隨著制造工藝不斷進(jìn)步產(chǎn)生的DFM可制造性設(shè)計(jì))問題。

物理版圖以GDS II的文件格式交給芯片代工廠(Foundry)在晶圓硅片上做出實(shí)際的電路,再進(jìn)行封裝和測試,就得到了實(shí)際看見的芯片。

【END】

審核編輯 :李倩

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請聯(lián)系本站處理。 舉報(bào)投訴
  • 芯片
    +關(guān)注

    關(guān)注

    463

    文章

    54017

    瀏覽量

    466331
  • IC設(shè)計(jì)
    +關(guān)注

    關(guān)注

    38

    文章

    1373

    瀏覽量

    108323

原文標(biāo)題:【科普】IC設(shè)計(jì)流程概述

文章出處:【微信號(hào):feifeijiehaha,微信公眾號(hào):電路和微電子考研】歡迎添加關(guān)注!文章轉(zhuǎn)載請注明出處。

收藏 人收藏
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

    評論

    相關(guān)推薦
    熱點(diǎn)推薦

    新思科技全流程IC設(shè)計(jì)師資培訓(xùn)班成功舉辦

    近日,由武漢大學(xué)物理科學(xué)與技術(shù)學(xué)院主辦、新思科技特邀協(xié)辦、華中地區(qū)高校 EDA 技術(shù)研究會(huì)與武漢大學(xué)物理國家級實(shí)驗(yàn)教學(xué)示范中心共同支持的“新思科技全流程 IC 設(shè)計(jì)師資培訓(xùn)班”成功舉辦。此次培訓(xùn)吸引
    的頭像 發(fā)表于 12-29 11:25 ?2140次閱讀

    借助 AI 從流程可視化到流程優(yōu)化的 6 個(gè)步驟

    借助 Minitab Solution Center與 Simul8,將日常流程損耗轉(zhuǎn)化為可量化的效能提升 生活各處都看到流程的影子,無論是逛雜貨店、排隊(duì)買咖啡,還是收拾行李準(zhǔn)備度假。你是否曾發(fā)現(xiàn)
    的頭像 發(fā)表于 12-16 13:51 ?241次閱讀

    IC卡在人員管理中的應(yīng)用

    IC卡在人員管理中的應(yīng)用IC卡在人員管理中通過身份識(shí)別、權(quán)限控制和數(shù)據(jù)記錄實(shí)現(xiàn)全流程數(shù)字化,核心價(jià)值在于提升管理效率、保障安全性并降低人工成本。一、身份識(shí)別與權(quán)限管控多場景身份核驗(yàn):員工IC
    的頭像 發(fā)表于 12-15 16:13 ?314次閱讀
    <b class='flag-5'>IC</b>卡在人員管理中的應(yīng)用

    【產(chǎn)品介紹】Xpedition Enterprise--企業(yè)級電子設(shè)計(jì)全流程解決方案

    概述XpeditionEnterprise是面向企業(yè)級的設(shè)計(jì)流程,包括庫設(shè)計(jì)與管理、原理圖設(shè)計(jì)、PCB設(shè)計(jì)、生產(chǎn)數(shù)據(jù)的處理、SI仿真、EMC/EMI分析、熱分析及數(shù)模混合仿真等。Xpedition
    的頭像 發(fā)表于 11-13 11:41 ?451次閱讀
    【產(chǎn)品介紹】Xpedition Enterprise--企業(yè)級電子設(shè)計(jì)全<b class='flag-5'>流程</b>解決方案

    基于焊接強(qiáng)度測試機(jī)的IC鋁帶鍵合強(qiáng)度全流程檢測方案

    在現(xiàn)代微電子封裝領(lǐng)域,集成電路(IC)的可靠性與穩(wěn)定性是決定產(chǎn)品品質(zhì)的關(guān)鍵。其中,鍵合點(diǎn)的機(jī)械強(qiáng)度直接影響到芯片在后續(xù)加工、運(yùn)輸及使用過程中的性能表現(xiàn)。IC鋁帶作為一種重要的內(nèi)引線材料,其與芯片焊盤
    的頭像 發(fā)表于 11-09 17:41 ?1402次閱讀
    基于焊接強(qiáng)度測試機(jī)的<b class='flag-5'>IC</b>鋁帶鍵合強(qiáng)度全<b class='flag-5'>流程</b>檢測方案

    ADI Power Studio工作流程與工具概述

    ADI Power Studio是一套面向應(yīng)用工程師及高級電源設(shè)計(jì)用戶的綜合性產(chǎn)品系列,能夠有效簡化整個(gè)電源系統(tǒng)的設(shè)計(jì)流程,提供從初步概念到測量和評估的全程支持。Power Studio提供統(tǒng)一
    的頭像 發(fā)表于 10-22 09:38 ?1077次閱讀

    東芝SmartMCD系列柵極驅(qū)動(dòng)IC產(chǎn)品概述

    在電動(dòng)汽車(xEV)市場蓬勃發(fā)展的當(dāng)下,電氣化、零部件集成化、電子控制單元(ECU)小型化以及低噪音電機(jī)等需求日益凸顯。為順應(yīng)這一趨勢,東芝推出帶有嵌入式MCU的SmartMCD柵極驅(qū)動(dòng)IC——TB9M003FG,其以創(chuàng)新性的設(shè)計(jì)和卓越性能,引領(lǐng)汽車電機(jī)控制領(lǐng)域邁向新的發(fā)展階段。
    的頭像 發(fā)表于 09-06 17:05 ?1438次閱讀

    直流馬達(dá)驅(qū)動(dòng)IC LD1201產(chǎn)品概述

    LD1201是一款采用數(shù)?;旌霞夹g(shù)設(shè)計(jì)的直流馬達(dá)驅(qū)動(dòng)IC 。
    的頭像 發(fā)表于 08-26 14:57 ?1112次閱讀
    直流馬達(dá)驅(qū)動(dòng)<b class='flag-5'>IC</b> LD1201產(chǎn)品<b class='flag-5'>概述</b>

    電源管理IC U8623和同步整流IC U7610A概述

    推薦的電源方案,是來自深圳銀聯(lián)寶科技內(nèi)置0.85Ω/650V的超結(jié)硅功率MOS電源管理ic U8623+同步整流ic U7610A!
    的頭像 發(fā)表于 08-06 11:41 ?1243次閱讀

    Thread標(biāo)準(zhǔn)認(rèn)證概述

    本篇知識(shí)庫文章概述了開發(fā)人員如何將其Thread物聯(lián)網(wǎng)設(shè)備進(jìn)行Thread Group認(rèn)證所需的步驟,并重點(diǎn)介紹使用Silicon Labs(芯科科技)的EFR32無線射頻器件的相關(guān)流程。
    的頭像 發(fā)表于 06-04 10:10 ?919次閱讀
    Thread標(biāo)準(zhǔn)認(rèn)證<b class='flag-5'>概述</b>

    快充電源IC U8609產(chǎn)品概述

    GaN FET支持MHz級開關(guān)頻率,顯著高于傳統(tǒng)硅基器件,通過減小無源元件體積實(shí)現(xiàn)系統(tǒng)小型化,使開關(guān)損耗降低20%-30%。深圳銀聯(lián)寶快充電源ic U8609合封第三代半導(dǎo)體GaN FET,最高工作頻率130kHz,采用原邊反饋控制,可節(jié)省光耦和TL431,簡化電源BOM,有利于降低電源尺寸!
    的頭像 發(fā)表于 05-30 15:43 ?938次閱讀

    西門子利用AI來縮小行業(yè)的IC驗(yàn)證生產(chǎn)率差距

    Questa One將集成電路(IC)驗(yàn)證從被動(dòng)反應(yīng)流程重新定義為智能的自優(yōu)化系統(tǒng)。 西門子數(shù)字化工業(yè)軟件推出了Questa? One智能驗(yàn)證軟件組合,將連接性、數(shù)據(jù)驅(qū)動(dòng)方法和可擴(kuò)展性與人
    的頭像 發(fā)表于 05-27 14:34 ?572次閱讀

    氮化鎵電源IC U8765產(chǎn)品概述

    氮化鎵憑借高頻高效特性,具備了體積小、功率高、發(fā)熱低等優(yōu)勢,但小型化雖好,散熱才是硬道理,選氮化鎵電源ic得看準(zhǔn)散熱設(shè)計(jì)。今天就給小伙伴們推薦一款散熱性能優(yōu)越、耐壓700V的氮化鎵電源ic U8765!
    的頭像 發(fā)表于 04-29 18:12 ?1142次閱讀

    Cadence榮獲2025中國IC設(shè)計(jì)成就獎(jiǎng)之年度卓越表現(xiàn)EDA公司

    近日,由全球電子技術(shù)領(lǐng)域知名媒體集團(tuán) ASPENCORE 主辦的“2025 中國 IC 領(lǐng)袖峰會(huì)暨中國 IC 設(shè)計(jì)成就獎(jiǎng)?lì)C獎(jiǎng)典禮”在上海舉行。Cadence 楷登電子再次榮獲中國 IC 設(shè)計(jì)成就獎(jiǎng)之
    的頭像 發(fā)表于 03-31 13:59 ?1099次閱讀

    西門子EDA助力提升IC設(shè)計(jì)驗(yàn)證效率

    本文將簡要概述使用 S-Edit 原理圖輸入環(huán)境的前端流程,然后更詳細(xì)地描述 Analog FastSPICE (AFS) 平臺(tái)仿真器以及使用該仿真器進(jìn)行基本放大器設(shè)計(jì)驗(yàn)證的步驟。
    的頭像 發(fā)表于 03-10 14:35 ?1901次閱讀
    西門子EDA助力提升<b class='flag-5'>IC</b>設(shè)計(jì)驗(yàn)證效率