99精品伊人亚洲|最近国产中文炮友|九草在线视频支援|AV网站大全最新|美女黄片免费观看|国产精品资源视频|精彩无码视频一区|91大神在线后入|伊人终合在线播放|久草综合久久中文

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

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

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

從零到一如何構(gòu)建一款先進(jìn)的數(shù)字仿真器呢?

路科驗證 ? 來源: 芯華章科技 ? 2023-03-25 09:16 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

數(shù)字仿真器(Simulator)是一種大型EDA工業(yè)軟件,是數(shù)字驗證領(lǐng)域的基礎(chǔ)工具之一,也是為數(shù)不多的簽核(sign-off)級工具。其實歷史上第一款 EDA 軟件SPICE,就是從仿真開始的??梢哉f,EDA軟件從誕生之日起,就帶著強烈的仿真基因。因此,如果沒有一款獨立自主的數(shù)字仿真器,國產(chǎn)EDA實現(xiàn)對國外工具壟斷的打破就無從談起。

目前,行業(yè)主流的仿真器,諸如VCS,Xcelium, Questa等,都是國外EDA大廠花了數(shù)十年的時間開發(fā)、迭代而來的。這些軟件內(nèi)部設(shè)計極其復(fù)雜、代碼量巨大,單單維護(hù)的團(tuán)隊人數(shù)就可達(dá)數(shù)百人甚至上千人。由此可見,數(shù)字仿真器技術(shù)開發(fā)難度之大。

合抱之木,生于毫末;九層之臺,起于累土。2021年11月,國內(nèi)系統(tǒng)級驗證EDA解決方案提供商芯華章發(fā)布了首款數(shù)字仿真器產(chǎn)品穹鼎GalaxSim,并得到中科院半導(dǎo)體、芯來科技等用戶一線項目部署。GalaxSim在開發(fā)過程中,結(jié)合國產(chǎn)EDA的迫切需求,選擇了合適的技術(shù)路線、開發(fā)模式,依托研發(fā)團(tuán)隊的豐富EDA經(jīng)驗及高效的工作,站在更高的技術(shù)起點上,用幾年的時間正在追趕國外幾十年的路。

現(xiàn)在我們梳理實踐所得和淺見,希望與行業(yè)同仁進(jìn)行分享交流,幫助志在推動國內(nèi)EDA數(shù)字仿真器進(jìn)步的有志之士,提供一些可能的啟發(fā)和參考,共同建立良好的EDA發(fā)展生態(tài)。

本篇我們將以穹鼎GalaxSim為例,展示一款商用級別的數(shù)字仿真器從0到1的開發(fā)過程,包括商用仿真器的技術(shù)指標(biāo)、開發(fā)模式、技術(shù)路線等方面。

1. 數(shù)字仿真器的技術(shù)要求

數(shù)字仿真器在驗證中發(fā)揮著舉足輕重的作用。判斷一款國產(chǎn)仿真器是否能真的商用,甚至可以與國際主流選擇的仿真器并駕齊驅(qū), 一般要看它是否滿足以下四點硬性要求:

1

全面的SystemVerilog語法覆蓋

SystemVerilog可以說是最復(fù)雜的語言之一,而數(shù)字仿真器又是EDA工具中對SystemVerilog支持最全面的工具。

2

高精度

仿真器相對其他驗證工具,是sign-off級別的,因此要求仿真器必須嚴(yán)格按照事件驅(qū)動型的算法進(jìn)行仿真調(diào)度,符合IEEE1800等標(biāo)準(zhǔn)。

3

高性能

仿真器的性能直接決定了用戶在驗證上的成本。假如某個優(yōu)化可以使仿真速度提高2x, 那可以使原本一個月完成的回歸測試縮短到二周,從而給客戶省掉很大的驗證支出。

4

高可靠性

作為大型工業(yè)軟件,仿真器的設(shè)計極其復(fù)雜。一款大型軟件,涉及到的模塊非常多,參與的開發(fā)者也非常多。如何確保軟件質(zhì)量可控,在客戶的超大設(shè)計上能跑幾十小時,甚至幾周不出現(xiàn)故障,是考驗一個仿真器能否真正商用的重要指標(biāo)之一。因此,作為用戶sign-off 的工具,仿真器的故障率必須極低。即使出現(xiàn)故障,也能在很短的時間內(nèi)排查并修復(fù)。

2.開發(fā)模式的選擇:瀑布式開發(fā)VS敏捷開發(fā)

2af98386-caa9-11ed-bfe3-dac502259ad0.png ?

編譯型數(shù)字仿真器的原理如上圖所示,它從verilog source到最終機器碼生成,中間經(jīng)歷了多個環(huán)節(jié)。它既具備了Compiler的特點,同時又是一個數(shù)字電路仿真器。它集成了多種底層技術(shù),涉及編譯、算法、圖論等知識。

盡管從概念上,我們可以把這個過程分解成不同的階段,但是在實際實現(xiàn)上,我們其實很難單獨把某一塊抽出來。以parser/elaboration階段為例,這個階段需要把RTL的語法解析出來。從功能上,它和后面的階段是不同的。然而,如果把它作為一個模塊獨立開發(fā),就會面臨無法測試的困難。因為有些elaboration的結(jié)果,需要到了runtime階段才可能測出是否正確。

軟件開發(fā)有兩種模式,一種是傳統(tǒng)的瀑布式模式,把一個軟件劃分成若干模塊。每個模塊都定義好spec,然后分配給各個團(tuán)隊開發(fā);到了一定節(jié)點,再進(jìn)行聯(lián)調(diào)。另一種是敏捷開發(fā),就是快速將flow打通,進(jìn)行不停地迭代,就像生物界胚胎的成長一樣,逐步將軟件迭代成熟。

2b220d1a-caa9-11ed-bfe3-dac502259ad0.png ?

上圖給出了兩種不同模式的區(qū)別。由于Simulator涉及到的環(huán)節(jié)非常多,有很多任務(wù)是有依賴關(guān)系的,只能串行開展。如果按照傳統(tǒng)的模式,不僅完成所有任務(wù)的總時間會變得很長,它還會導(dǎo)致最后聯(lián)調(diào)的時間非常的不確定。因為很多模塊的耦合性很強,很多問題需要等到最后所有模塊放在一起后才能發(fā)現(xiàn)。

基于此,為了降低研發(fā)風(fēng)險,提高開發(fā)效率,GalaxSim的開發(fā)采用了敏捷開發(fā)模式。在敏捷開發(fā)模式下,每個任務(wù)可以不用一步到位,而是可以先做一個比較初級的版本,從v1開始進(jìn)行迭代,直到vN。完成每個迭代的時間,是大大短于完成整個任務(wù)的時間的。這樣,依賴于該任務(wù)的其他任務(wù)就可以提前開展了。聯(lián)調(diào)階段的不確定也會大大降低,因為很多問題都可以在前期階段暴露出來。通過敏捷開發(fā),芯華章的GalaxSim可以更合理地調(diào)配資源,并通過大量迭代,使得產(chǎn)品能達(dá)到商用要求。

3. 技術(shù)路線的選擇:守正、創(chuàng)新

從0到1,開發(fā)一款具備國產(chǎn)自主知識產(chǎn)權(quán)的仿真器,肯定不能僅僅做一個me too的產(chǎn)品,需要有創(chuàng)新、超越。我們面臨的問題是,做一個怎樣的仿真器,能在解決國產(chǎn)替代的基礎(chǔ)上,實現(xiàn)最終的超越?這里面既要守正,也要創(chuàng)新。

何謂守正?創(chuàng)新的前提首先要先解決有無的問題。上文提到,不管采用什么技術(shù),仿真器都必須滿足四個指標(biāo):SystemVerilog、精度、性能、可靠性。因此,任何研發(fā)路線與技術(shù)的選擇,都必須滿足以上4個約束條件。

與此同時,我們吸取主流數(shù)字仿真器的歷史研發(fā)教訓(xùn),針對國內(nèi)使用環(huán)境進(jìn)行客制化創(chuàng)新。比如在SystemVerilog方面,很多主流仿真器的支持其實并不是一步到位完成的,而是在一系列并購后集成進(jìn)來的。GalaxSim在這方面,可以發(fā)揮后發(fā)優(yōu)勢,采用全新的設(shè)計框架,更好實現(xiàn)SystemVerilog的豐富語法,讓整個compile flow無縫對接,避免不斷“打補丁”帶來的技術(shù)冗余與滯澀,提供更完整、一體化的驗證解決方案。

以性能為例,runtime是仿真器的一項重要技術(shù)指標(biāo)。大多數(shù)國際主流仿真器在過去數(shù)十年都做了大量的工作。然而,compile time 也是性能的一部分。近5-10年,隨著設(shè)計規(guī)模越來越大,compile time 也日益成為性能瓶頸。而且,compile time 和 run time常常是矛盾的。GalaxSim使用創(chuàng)新底層架構(gòu),在提高runtime性能的同時,兼顧了compile time的控制。

4. “蝶變”:GalaxSim的迭代歷程

敏捷開發(fā)意味著快速的軟件迭代。

GalaxSim 的迭代歷程,比較類似于一個胚胎的成長過程。胚胎每一步的變化并不大(比如細(xì)胞分裂),然而,經(jīng)過足夠的變化,最終就會由量變到質(zhì)變,就像蝶變一樣。

如何確保GalaxSim的迭代是按照我們設(shè)計的方向,而不會走偏呢?這里面,軟件的迭代又非常像生物的進(jìn)化,我們需要設(shè)計好一個目標(biāo)(生存條件),以及一個進(jìn)化環(huán)境。根據(jù)前文所述,GalaxSim從0到1的第一階段目標(biāo),是要演變成一個至少滿足4個約束條件的仿真器。

4.1

以終為始,設(shè)計迭代目標(biāo)

第一階段我們會以終為始,根據(jù)上文提到的四點對仿真器的硬性要求,分別制定多維度可量化的迭代目標(biāo),通過不斷的調(diào)試達(dá)成各項指標(biāo)。

4.2

進(jìn)化環(huán)境的搭建

如何確保軟件向著我們設(shè)置的目標(biāo)進(jìn)化,而不是走偏,進(jìn)化環(huán)境至關(guān)重要。芯華章的研發(fā)團(tuán)隊為此專門搭建了一套內(nèi)部CICD flow, 包含了回歸測試系統(tǒng),這個系統(tǒng)包含了大量的測試用例,各種測試基準(zhǔn)(benchmark)。GalaxSim在這些用例中的表現(xiàn)結(jié)果會被實時監(jiān)控。尤其是性能方面,我們的系統(tǒng)引入了類似銀行的記賬功能。每個研發(fā)環(huán)節(jié)導(dǎo)致的slowdown都會被記錄備案,每一筆帳都可以追溯。這些嚴(yán)苛的環(huán)境,確保了軟件最終的性能及質(zhì)量。

值得一提的是,這套系統(tǒng)是我們在第一天就開始著手搭建的,與GalaxSim的核心代碼是同步開發(fā)的。

4.3

Galaxsim的主要迭代節(jié)點:

2b50149e-caa9-11ed-bfe3-dac502259ad0.png ? ? ? ? ? ? ? ? ? ? ? ? ?

5. 現(xiàn)狀:已獲得一線項目部署

目前GalaxSim已經(jīng)在中科院半導(dǎo)體所、芯來科技等若干客戶的一線項目中得到應(yīng)用,性能符合客戶預(yù)期。

6. 總結(jié)

在未來,GalaxSim的進(jìn)化還會繼續(xù),并擁抱更多的創(chuàng)新,最終實現(xiàn)國產(chǎn)數(shù)字仿真器的超越。







審核編輯:劉清

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

    關(guān)注

    14

    文章

    1037

    瀏覽量

    85383
  • EDA技術(shù)
    +關(guān)注

    關(guān)注

    12

    文章

    173

    瀏覽量

    37599
  • SPICE
    +關(guān)注

    關(guān)注

    6

    文章

    193

    瀏覽量

    43580
  • VCS
    VCS
    +關(guān)注

    關(guān)注

    0

    文章

    80

    瀏覽量

    9912

原文標(biāo)題:解碼國產(chǎn)EDA數(shù)字仿真器系列之一 | 從零到一 如何構(gòu)建一款先進(jìn)的數(shù)字仿真器

文章出處:【微信號:Rocker-IC,微信公眾號:路科驗證】歡迎添加關(guān)注!文章轉(zhuǎn)載請注明出處。

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

掃碼添加小助手

加入工程師交流群

    評論

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

    技術(shù)角度看,一款優(yōu)秀的煮蛋 PCBA 方案能帶來哪些體驗升級?

    作為個每天早餐離不開雞蛋的人,用過不下十煮蛋后發(fā)現(xiàn):決定產(chǎn)品體驗的核心,往往藏在看不見的 PCBA 方案里。最近入手的新款煮蛋,讓我真切感受到了技術(shù)迭代帶來的差異。
    的頭像 發(fā)表于 07-14 11:10 ?100次閱讀

    ISOM8600 功能隔離、直流輸入、常開輸出、單通道隔離開關(guān)光仿真器數(shù)據(jù)手冊

    ISOM8600 是一款 80V 單刀常開開關(guān),帶有光仿真器輸入。光仿真器輸入控制背靠背 MOSFET,無需在次級側(cè)提供任何電源。這些器件與許多傳統(tǒng)光耦合引腳兼容,可直接更換,無需重
    的頭像 發(fā)表于 05-06 17:43 ?310次閱讀
    ISOM8600 功能隔離、直流輸入、常開輸出、單通道隔離開關(guān)光<b class='flag-5'>仿真器</b>數(shù)據(jù)手冊

    FMD仿真器燒錄說明

    FMD仿真器燒錄,離線燒錄說明
    發(fā)表于 04-30 17:27 ?1次下載

    概倫電子電路類型驅(qū)動SPICE仿真器NanoSpice X介紹

    NanoSpice X是概倫電子推出的高精度、大容量并行SPICE仿真器,旨在解決電路仿真中的最具挑戰(zhàn)性任務(wù)。相較于上代NanoSpice仿真器,NanoSpice X將平均
    的頭像 發(fā)表于 04-23 15:30 ?404次閱讀
    概倫電子電路類型驅(qū)動SPICE<b class='flag-5'>仿真器</b>NanoSpice X介紹

    概倫電子千兆級高精度電路仿真器NanoSpice Giga介紹

    NanoSpiceGiga是概倫電子自主研發(fā)的千兆級晶體管級SPICE電路仿真器,通過基于大數(shù)據(jù)的并行仿真引擎處理十億以上單元的電路仿真,可以用于各類存儲電路、定制
    的頭像 發(fā)表于 04-23 15:21 ?354次閱讀
    概倫電子千兆級高精度電路<b class='flag-5'>仿真器</b>NanoSpice Giga介紹

    一款入耳式耳機的仿真與分析

    電子發(fā)燒友網(wǎng)站提供《一款入耳式耳機的仿真與分析.pdf》資料免費下載
    發(fā)表于 04-22 15:39 ?5次下載

    概倫電子先進(jìn)數(shù)字仿真器VeriSim介紹

    VeriSim是一款先進(jìn)的邏輯仿真器,提供全面的數(shù)字設(shè)計驗證解決方案,特別適用于大型SoC設(shè)計。它配備高性能的仿真引擎和約束求解
    的頭像 發(fā)表于 04-22 10:19 ?533次閱讀

    一款新的播放:Xibo for ChromeOS介紹

    我們非常高興地宣布與 ChromeOS 合作推出一款新的播放。為您帶來 Xibo for ChromeOS!這最新的可靠、高度安全且易于管理的數(shù)字標(biāo)牌解決方案使客戶能夠充分利用 X
    的頭像 發(fā)表于 03-14 09:26 ?613次閱讀

    USB轉(zhuǎn)UART芯片大全:經(jīng)典創(chuàng)新,總有一款適合你!

    USB轉(zhuǎn)UART芯片大全:經(jīng)典創(chuàng)新,總有一款適合你!
    的頭像 發(fā)表于 02-19 14:04 ?1488次閱讀

    電氣系統(tǒng)中,如何選擇一款最為適配的數(shù)字隔離芯片?

    數(shù)字隔離芯片歷經(jīng)多年發(fā)展,其應(yīng)用范圍已十分廣泛,凡涉及在高、低壓系統(tǒng)之間進(jìn)行信號傳輸?shù)膱鼍爸谢径夹枰獞?yīng)用到此種芯片。那么,電氣工程師在進(jìn)行電路設(shè)計時到底該如何評估選擇一款最為適配的數(shù)字
    的頭像 發(fā)表于 02-12 14:30 ?551次閱讀
    電氣系統(tǒng)中,如何選擇<b class='flag-5'>一款</b>最為適配的<b class='flag-5'>數(shù)字</b>隔離芯片?

    :搭建屬于自己的海外IP代理池

    搭建屬于自己的海外IP代理池是個復(fù)雜但具有挑戰(zhàn)性的任務(wù),它涉及多個步驟和考慮因素。
    的頭像 發(fā)表于 11-15 08:15 ?1118次閱讀

    光耦仿真器簡介

    電子發(fā)燒友網(wǎng)站提供《光耦仿真器簡介.pdf》資料免費下載
    發(fā)表于 08-28 11:45 ?0次下載
    光耦<b class='flag-5'>仿真器</b>簡介

    TI磁感應(yīng)仿真器功能簡介

    電子發(fā)燒友網(wǎng)站提供《TI磁感應(yīng)仿真器功能簡介.pdf》資料免費下載
    發(fā)表于 08-28 09:48 ?0次下載
    TI磁感應(yīng)<b class='flag-5'>仿真器</b>功能簡介

    仿真器的使用方法有哪些

    仿真器種用于模擬和測試電子系統(tǒng)、軟件或硬件的工具。它可以幫助工程師在實際硬件或軟件部署之前,對設(shè)計進(jìn)行驗證和調(diào)試。 仿真器的基本概念 仿真器
    的頭像 發(fā)表于 08-22 09:16 ?2310次閱讀

    設(shè)計一款基于opa847的高通濾波,仿真達(dá)不到效果怎么解決?

    各位好,目前打算設(shè)計一款基于opa847的高通濾波,放大倍數(shù)為40dB,截止頻率為20kHz,通過書籍資料上的公式計算出的結(jié)果進(jìn)行仿真,似乎達(dá)不到效果,想請問各位該如何解決?
    發(fā)表于 08-19 07:18