一区二区三区三上|欧美在线视频五区|国产午夜无码在线观看视频|亚洲国产裸体网站|无码成年人影视|亚洲AV亚洲AV|成人开心激情五月|欧美性爱内射视频|超碰人人干人人上|一区二区无码三区亚洲人区久久精品

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

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

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

思爾芯S2C:硅谷到中國,20年的堅守和持續(xù)創(chuàng)新,只為讓驗證更高效

思爾芯S2C ? 2024-01-26 08:23 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

思爾芯S2C,致力于數(shù)字前端設(shè)計驗證解決方案,2004年孵化于座落在北京東路668號科技京城的上海集成電路技術(shù)與產(chǎn)業(yè)促進(jìn)中心(ICC),2018年進(jìn)入國微集團(tuán)EDA大家族,共同承擔(dān)并完成國家數(shù)字EDA全流程的重大專項,開啟國產(chǎn)EDA研發(fā)新篇章。

S2C的內(nèi)涵1=Silicon valleyto China(硅谷到中國)

S2C的內(nèi)涵2=System to Chip(系統(tǒng)到芯片)

思爾芯的“第一”

中國第一家數(shù)字EDA公司

中國第一家出現(xiàn)在DAC現(xiàn)場的公司

驗證的重要性[1]
芯片設(shè)計被譽(yù)為人類歷史上最細(xì)微也是最宏大的工程,芯片研發(fā)工作者需要把數(shù)百億顆晶體管集成在面積最小至指甲大小的芯片上。如此復(fù)雜的工程,從設(shè)計階段開始就錯綜復(fù)雜,很多環(huán)節(jié)互相串聯(lián),形成一個長流程,需要專業(yè)細(xì)分、領(lǐng)域不同的研發(fā)人員、專業(yè)人士和科學(xué)家集團(tuán)隊力量協(xié)作而成并且保證每個環(huán)節(jié)的高正確度。這樣精密的研發(fā)和跨領(lǐng)域協(xié)作是完全不可能靠手工完成的,研究人員所仰賴的是一種名叫EDA的工具。其全稱為電子設(shè)計自動化(Electronics DesignAutomation)工具。正是這一工具在1983年問世,釋放了芯片研發(fā)者的創(chuàng)造力,把手工設(shè)計完全升級為電子自動化的設(shè)計,從而促成芯片技術(shù)發(fā)展進(jìn)入大爆炸時期。


首先,我們先了解一下驗證的重要性。
1、芯片進(jìn)入SoC時代,驗證工具變的必不可缺


系統(tǒng)級芯片(SoC-System on Chip)將微處理器、模擬IP核、數(shù)字IP核和存儲器(或片外存儲控制接口)集成在單一芯片上,是當(dāng)前芯片里的主流。SoC這一概念在20世紀(jì)90年代出現(xiàn),經(jīng)過近30年的發(fā)展,SoC可集成的內(nèi)容越來越多,晶體管數(shù)量越來越大、功能越來越多元化,使得設(shè)計原理變的異常復(fù)雜。毫不夸張的說,一款SoC設(shè)計對于一個配置齊全的、有經(jīng)驗的研發(fā)團(tuán)隊來說,也需要3-5年的時間才能完成全部研發(fā)工作。

111a4a98-bbe1-11ee-aa22-92fbcf53809c.png

高昂至上億美金的流片(Tape-out)成本,不可逆的研發(fā)時間成本,導(dǎo)致芯片設(shè)計的每個環(huán)節(jié)都不容許出現(xiàn)一點(diǎn)點(diǎn)錯誤;而且隨著SoC所繼承的內(nèi)容和復(fù)雜程度日益提高,驗證需要探索的空間和范圍越來越大,每一次驗證都像是一次“大海撈針”,因此驗證所需要的時間亦越來越長。EDA里的驗證工具已然必不可缺,驗證越充分,芯片的成功率就越高。


當(dāng)前的驗證幾乎必須貫穿芯片設(shè)計的每個步驟,以便芯片研發(fā)團(tuán)隊及時發(fā)現(xiàn)錯誤,保證所投入的巨大研發(fā)成本不會覆水東流或錯過最佳上市時間。據(jù)悉,在現(xiàn)在的SoC研發(fā)項目中,仿真和驗證的時間占了整個項目70%以上的時間,而仿真和驗證工程師也占了整個團(tuán)隊的70%以上。因為只有經(jīng)過充分的仿真和驗證,找出足夠多的bug,才能放心拿去流片。


2、驗證貫穿整個芯片設(shè)計流程


芯片在設(shè)計啟動伊始就會設(shè)定非常嚴(yán)格的設(shè)計周期和面市時間,環(huán)節(jié)一環(huán)扣一環(huán),驗證是一個反復(fù)和交叉作業(yè)的工作內(nèi)容,貫穿整個芯片研發(fā)周期,環(huán)節(jié)繁復(fù)但時間不能有任何延誤,從而造成在單位時間內(nèi)的驗證任務(wù)成指數(shù)增長。并且,驗證不僅僅是在芯片設(shè)計階段,即使一款芯片已經(jīng)量產(chǎn)出貨,驗證的工作可能依然沒有結(jié)束。

這張圖按照芯片研發(fā)的時間進(jìn)程,示意了驗證的每個環(huán)節(jié):

111ea4f8-bbe1-11ee-aa22-92fbcf53809c.png


(1)產(chǎn)品規(guī)劃


在研發(fā)初期首先要啟動的是驗證規(guī)劃,這是為了在產(chǎn)品規(guī)劃的同時即確定驗證方案和技術(shù)路線,并且保證驗證結(jié)果有一定量的調(diào)試時間并有可行的調(diào)試方案。


SoC研發(fā)時非常依賴選用一部分可復(fù)用的成熟IP核,以加快其本身的研發(fā)速度。但在選擇合適的IP核時要同時考慮的因素有很多,功耗、性能、安全以及成本,還有IP核與IP核,IP核與其他模塊之間通訊和數(shù)據(jù)交互的界面接口,等。因此,在初期,還要為某些標(biāo)準(zhǔn)的模塊需要提前準(zhǔn)備好驗證IP核(Verification IP,VIP)并規(guī)劃好不同的檢測點(diǎn),并具體落實在各個研發(fā)階段和模塊中。


(2)架構(gòu)定義


SoC設(shè)計首先要定義系統(tǒng)的架構(gòu),其中包括但不限于定義功能、明確各IP和模塊之間的通訊協(xié)議、功耗與性能的妥協(xié)關(guān)系等等。架構(gòu)定義要基于該芯片使用后所面臨經(jīng)典工作場景進(jìn)行假設(shè)和模擬,所以在架構(gòu)定義階段,需完成兩個非常重要的驗證:


一個是不同通訊協(xié)議下的功能驗證(FunctionalVerification),該驗證允許設(shè)計工程師在設(shè)計階段發(fā)現(xiàn)高階的協(xié)議性錯誤(bug),在設(shè)計早期以非常低的成本進(jìn)行修復(fù)。而如果進(jìn)入到產(chǎn)品階段才發(fā)現(xiàn),修復(fù)的成本將會非常高。
另一個同步進(jìn)行的是原型驗證(Prototyping),就是把硬件原型模擬化,提前對軟件和硬件的配合表現(xiàn)進(jìn)行驗證。這樣提前驗證的好處是,在芯片制造前,便可以開展軟硬件協(xié)同設(shè)計,提前發(fā)現(xiàn)問題、檢測問題并解決問題,確保芯片在真正可使用時,研發(fā)團(tuán)隊已經(jīng)擁有一個成熟的軟硬件整體方案,芯片能切實支持軟件的應(yīng)用,大大將研發(fā)時間提前,提升整體研發(fā)效率。
(3)流片前驗證
前文提到,SoC設(shè)計為了縮短研發(fā)周期會采用可復(fù)用IP核和新IP。每一個IP核驗證都在各自單獨(dú)的環(huán)境中完成,以確保單獨(dú)IP功能正確;但在復(fù)雜的SoC驗證鏈中,不僅需要單點(diǎn)驗證,更需要有多種驗證手段進(jìn)行系統(tǒng)性驗證,確保各種IP核以及其他模塊能協(xié)同工作。
IP驗證中慣用動態(tài)仿真(Dynamic Simulation)和形式化驗證(Formal Verification)。二者在使用時都需要基于單獨(dú)的驗證基礎(chǔ)環(huán)境,前者需要模擬出基礎(chǔ)環(huán)境;后者要通過數(shù)學(xué)建模,在數(shù)字世界里搭建出環(huán)境假設(shè)和目標(biāo)斷言。驗證工程師通過比較結(jié)果、仿真波形比對最終來判定測試用例是否通過。
流片前驗證是SoC研發(fā)過程中耗費(fèi)時間和資源最大的驗證環(huán)節(jié),而且是一個增量的連續(xù)過程,隨著設(shè)計成熟度和設(shè)計復(fù)雜性的提高而提高。


(4)硬件加速

嚴(yán)格意義上來說,硬件加速(Emulation)的使用是在流片前,屬于流片前驗證的一部分,但參與過芯片設(shè)計的研發(fā)者都知道,這個環(huán)節(jié)是流片前驗證和流片后驗證的橋梁,它將還處于RTL級別的設(shè)計放到一個可重構(gòu)的虛擬硬件環(huán)境中,讓驗證速度得到成千上萬倍提升,同時也讓軟硬協(xié)同成為可能。利用這種技術(shù),我們可以在數(shù)小時之內(nèi),將操作系統(tǒng)在RTL模塊上啟動起來。

驗證速度的提升,讓驗證的效率大幅提升,對驗證成本的貢獻(xiàn)是無可比擬的。俗話說,有得必有失,有失必有得。驗證工程師發(fā)現(xiàn),驗證速度的提升的同時,能夠觀察的信號將會急劇減少,并且那些需要被觀測的信號,必須在產(chǎn)生FPGA比特流之前就要定義好,一旦沒有定義,重新編譯可能又需要耗費(fèi)好幾個小時。

為了解決上述問題,現(xiàn)在EDA公司已經(jīng)推出了硬件加速器(Emulator),硬件加速器在仿真速度和可觀測性之間進(jìn)行權(quán)衡和取舍,速度上向原型驗證靠攏,而可觀測性向仿真器靠攏,在仿真器和原型驗證之間增加一個驗證產(chǎn)品,但是因為硬件加速器結(jié)構(gòu)特殊,價格昂貴,只有芯片利潤相對豐厚的大企業(yè)才用得起。

(5)流片后驗證
流片后驗證一般發(fā)生在芯片實際生產(chǎn)結(jié)束以后,在芯片進(jìn)行量產(chǎn)之前,將測試批芯片在實驗室進(jìn)行各種測試,確保功能、時序、性能、功耗、物理應(yīng)力得都符合設(shè)計預(yù)期,在完成所有的驗證以后,再進(jìn)行批量生產(chǎn)。如果在這個階段發(fā)現(xiàn)錯誤,其修復(fù)的成本將會非常高昂,甚至成為不可能。如果一個錯誤被確認(rèn)為功能錯誤,設(shè)計團(tuán)隊就必須對進(jìn)行修復(fù),修復(fù)錯誤的方法有多種,包括利用系統(tǒng)微碼來避免失效的條件。但如果錯誤必須在硬件層面進(jìn)行,那就需要重新流片了。
綜上所述,在整個芯片開發(fā)過程中,驗證就是一場前哨戰(zhàn),是整道防線上成敗的關(guān)鍵。在芯片進(jìn)入流片之前,需要保證其設(shè)計完全符合需求規(guī)格,解決所有潛在的風(fēng)險,并修正所有的缺陷。

驗證工具的種類

戰(zhàn)斗已經(jīng)打響,戰(zhàn)斗中的工程師可以使用軟件仿真、硬件仿真和原型驗證手段進(jìn)行防守。

1、軟件仿真

軟件仿真是基于硬件描述語言對數(shù)字電路設(shè)計進(jìn)行功能和特性的仿真和驗證。它會通過在計算機(jī)環(huán)境中模擬硬件行為,驗證電路設(shè)計是否符合原意。仿真過程是正確實現(xiàn)設(shè)計的關(guān)鍵環(huán)節(jié),它以硬件描述語言(如VHDL或Verilog)編寫的模型為基礎(chǔ),檢驗設(shè)計中的功能是否正確無誤。

一般來說,軟件仿真分為功能仿真、綜合后仿真和時序仿真,分別對應(yīng)于RTL設(shè)計輸入后、綜合完成后、布局布線完成后等步驟。

2、原型驗證

原型驗證是在早期階段通過與最終芯片接近的原型硬件來測試和驗證電路設(shè)計,通過接近最終芯片的運(yùn)行速度確保設(shè)計出正確的芯片。原型驗證將設(shè)計映射到FPGA陣列,通過模擬芯片的功能和應(yīng)用環(huán)境,來驗證芯片整體功能,并提供片上軟件開發(fā)環(huán)境。因為相比硬件仿真,原型驗證的運(yùn)行速度更接近于真實芯片,可以配合軟件工程師來進(jìn)行底層軟件的開發(fā)。這一流片前的軟硬件協(xié)同開發(fā),是其最不可替代的地方。

原型驗證流程中的關(guān)鍵步驟,包括設(shè)計分割、分割后的系統(tǒng)級時序分析、編程和下載、功能驗證調(diào)試等步驟。

3、硬件仿真

硬件仿真首先將硬件設(shè)計(通常以HDL,例如Verilog或VHDL編寫)編譯,然后加載編譯后的設(shè)計。在一些系統(tǒng)中,設(shè)計可能被加載到專門的硬件中(例如FPGA)。一旦設(shè)計被加載,硬件仿真就可以運(yùn)行設(shè)計,并觀察其行為。硬件仿真通常會提供觀察和調(diào)試設(shè)計內(nèi)部狀態(tài)的工具。最后,工程師可以根據(jù)結(jié)果分析設(shè)計的正確性,查找并解決問題,以優(yōu)化設(shè)計。

1123f340-bbe1-11ee-aa22-92fbcf53809c.png?

從上圖可以看出,三種驗證工具都有各自的優(yōu)點(diǎn),也有各自的不足。工程師會在芯片設(shè)計的不同階段選擇不同的驗證工具,提高驗證效率,加速驗證的收斂。

根據(jù)芯思想研究院的調(diào)研數(shù)據(jù),目前驗證工具整體市場規(guī)模約為30億美元;隨著AI芯片和GPGPU芯片的火爆,預(yù)估到2030年,市場規(guī)??赡艹^50億美元。

如此龐大的市場,玩家當(dāng)然不僅僅是新思科技、楷登電子、西門子EDA三巨頭,國內(nèi)近年來也涌現(xiàn)出不少新玩家,包括芯華章、合見工軟。但是今天文章的主角是堅守驗證工具市場20年的思爾芯。

從點(diǎn)串鏈,打通驗證全流程

2024年1月18日舉行的以“思爾合作,芯路共贏”為主題的EDA生態(tài)協(xié)作發(fā)展論壇暨思爾芯20周年成果展現(xiàn)場,林俊雄先生表示,當(dāng)他站在會場露臺上,俯瞰著這座城市,他的視線從歷史悠久的豫園掃過,遠(yuǎn)眺前方林立的現(xiàn)代摩天大樓,包括被譽(yù)為“魔都三件套”的東方明珠電視塔、金茂大廈和環(huán)球金融中心。這一幕讓他回想起二十年前初來上海創(chuàng)業(yè)的時光,創(chuàng)業(yè)過程中,經(jīng)歷的辛酸和艱難遠(yuǎn)比表面看到的光鮮要多得多。那時中國的芯片設(shè)計業(yè)還處于起步階段,而國產(chǎn)EDA領(lǐng)域還是一片荒蕪。林俊雄先生卻在這片“荒蕪”中看到了中國芯未來。

原型驗證的前世今生

林俊雄先生表示,原型驗證是一個快速增長且競爭激烈的市場,并提到大規(guī)模應(yīng)用是在2008年新思科技收購Synplicity進(jìn)入市場以后。

本文簡單敘述一下原型驗證的前世今生。

1990年代,多倫多大學(xué)(University of Toronto)的Transmogrifier-l、北卡州立大學(xué)(North Carolina State University)的AnyBoard、斯坦福大學(xué)(Stanford University)的Protozone以及加州大學(xué)圣克魯斯分校(University of California,Santa Cruz)的BORG等項目,開始探索如何在小型原型驗證板上實現(xiàn)HDL芯片設(shè)計。高校項目為后來的商用驗證工具探索了多種可能性。

1992年是原型驗證的元年。Aptix在1992年推出了名為System Explorer的系統(tǒng),利用FPGA及自創(chuàng)的互聯(lián)芯片實現(xiàn)了商用原型驗證工具,為芯片驗證方法學(xué)作出了開創(chuàng)性貢獻(xiàn),因此被業(yè)界視為原型驗證工具的先驅(qū)。盡管Aptix在2005年被收購,成為Mentor的一部分,但Aptix的成功給了產(chǎn)業(yè)很大的啟示,并激發(fā)了更多公司進(jìn)入這個領(lǐng)域。

1998年Dini Group推出原型驗證工具DN250k10,2015年發(fā)布了DNVUF4A;2003年瑞典HARDI Electronics AB推出原型驗證系統(tǒng)HAPS-10;2003年法國初創(chuàng)企業(yè)TarayInc.推出原型驗證工具7Circuits。但這些產(chǎn)品還需要工程師大量的手動搭建原型驗證環(huán)境。2005年思爾芯在DAC上推出了其首款原型驗證產(chǎn)品V2 IP Porter[2]。Dini、HARDI、Taray也都已消失在EDA的并購浪潮中,只有思爾芯依托中國芯土壤,抵住收購誘惑成功堅守。

2008年新思科技(Synopsys)收購Synplicity(Synplicity于2007年收購HARDI),2010年推出HPS-60,容量達(dá)1800萬個專用集成電路(ASIC)邏輯門。2012年推出了全球首款真正意義上的自動化原型驗證產(chǎn)品HAPS-70,可以支持范圍廣泛的、各種大小的設(shè)計,其容量可從1200萬到1.44億個專用集成電路邏輯門;同時將可將原型驗證生產(chǎn)力提高10倍。2015年推出了原型驗證產(chǎn)品HAPS-80,可支持高達(dá)16億個專用集成電路邏輯門,并支持面向并行設(shè)計執(zhí)行的遠(yuǎn)程使用和多設(shè)計模式;2021年推出最新一代原型驗證產(chǎn)品HAPS-100。2019年收購Dini,進(jìn)一步擴(kuò)大了公司在原型驗證市場的領(lǐng)先地位,并將其FPGA解決方案拓展到網(wǎng)絡(luò)應(yīng)用和高頻/低延遲算法中。

楷登電子(Cadence)在2010年3月收購Taray之后,依靠Taray的路由感知管腳分配綜合技術(shù),才算一支腳邁進(jìn)了原型驗證市場,并和Dini合作開發(fā)于2017年推出了第一代FPGA原型驗證平臺Protium S1,2019年發(fā)布第二代Protium X1,2021年推出第三代Protium X2原型驗證系統(tǒng),專注完善原型驗證產(chǎn)品和硬件仿真產(chǎn)品之間的銜接流程,實現(xiàn)兩者的快速相連。
西門子EDA(前身Mentor Graphics)在1990年代末就從Aptix獲得了仿真技術(shù)許可,并在2005年完成對Aptix的收購,2015年收購Flexras Technologies SAS獲得Wasga自動分割技術(shù),2021年收購PRO DESIGN Electronic旗下的具有FPGA桌面原型驗證技術(shù)的proFPGA 產(chǎn)品系列,終于成就了公司兩類原型驗證系統(tǒng):Veloce Primo企業(yè)級FPGA原型驗證系統(tǒng)和Veloce proFPGA桌面FPGA原型驗證系統(tǒng)。

2021年,芯華章推出原型驗證系統(tǒng)樺捷HuaPro P1,基于自主知識產(chǎn)權(quán)的全流程軟件,可實現(xiàn)設(shè)計原型的自動綜合、分割、優(yōu)化、布線和調(diào)試,2022年推出的集成原型驗證和硬件仿真雙模式的樺捷HuaPro P2E,基于統(tǒng)一芯片、統(tǒng)一硬件和統(tǒng)一軟件,真正實現(xiàn)了全新的硬件仿真和原型驗證雙模工作模式[3];2014年華桑電子推出PHINE Design系列原型驗證,至今已經(jīng)推出第四代產(chǎn)品[4];2009年亞科鴻禹推出第二代原型驗證產(chǎn)品為VeriTiger,至今已推出第七代產(chǎn)品[5]。

堅守初芯,持續(xù)創(chuàng)新

2003年,EDA學(xué)術(shù)界的大牛、加州大學(xué)伯克利分校(UC Berkeley)教授Alberto Sangiovanni-Vincentelli(阿爾伯特·桑喬瓦尼·溫琴泰利) 在DAC(設(shè)計自動化大會)40周年發(fā)表主題演講《The Tides of EDA》,講述如何看待40年來DAC相關(guān)的研究成果,闡述EDA(電子設(shè)計自動化)未來的趨勢和挑戰(zhàn),并強(qiáng)調(diào)這是一個EDA大變革的年代。

感受到了時代的呼喚,以及大變革的到來,DAC2003結(jié)束后不久,林俊雄先生就離開了Aptix并在美國硅谷的核心地區(qū)-加利福尼亞的圣何塞創(chuàng)立了思爾芯(S2C),2004年1月迅速在上海建立了總部和第一個研發(fā)中心。

從FPGA原型驗證先驅(qū)公司離職創(chuàng)業(yè)的林俊雄,依然選擇了自己熟悉的領(lǐng)域。這一大膽的決策預(yù)示著新時代的到來。誠如上海市集成電路行業(yè)協(xié)會秘書長郭奕武先生在EDA生態(tài)協(xié)作發(fā)展論壇暨思爾芯20周年成果展開幕致辭所說,思爾芯作為國內(nèi)首家數(shù)字EDA企業(yè),自2004年成立以來,在上海ICC的孵化下開始了它的芯程。今天,它已經(jīng)成為上海市的重點(diǎn)EDA企業(yè),并榮獲國家級“專精特新”小巨人企業(yè)的殊榮。在過去的20年中,思爾芯不僅站在了科技創(chuàng)新的前沿,還以其卓越的EDA技術(shù)推動了整個集成電路行業(yè)的發(fā)展。思爾芯的成長歷程不僅見證了中國集成電路產(chǎn)業(yè)的自強(qiáng)不息和砥礪前行,也展現(xiàn)了國產(chǎn)EDA堅守初心、勇于突破自我的精神。

11de8a48-bbe1-11ee-aa22-92fbcf53809c.png圖為上海集成電路行業(yè)協(xié)會的秘書長郭奕武先生


二十年耕耘,思爾芯實現(xiàn)驗證工具從點(diǎn)到鏈的突破!從2005年推出第一代原型驗證系統(tǒng)以來,至今已經(jīng)推出八代產(chǎn)品,客戶包括英特爾、三星、索尼、瑞昱、黑芝麻、開芯院等知名芯片公司,是久經(jīng)市場驗證和認(rèn)可的成熟產(chǎn)品;在2018年進(jìn)入國微EDA大家庭后,配合國微集團(tuán)在數(shù)字EDA領(lǐng)域的布局,后通過強(qiáng)化核心技術(shù)和外部并購,全面布局了包括架構(gòu)設(shè)計(Genesis芯神匠)、軟件仿真(PegaSim芯神馳)、硬件仿真(OmniArk芯神鼎)、原型驗證(Prodigy芯神瞳)、數(shù)字調(diào)試(Claryti芯神覺)等數(shù)字前端EDA工具,如今已經(jīng)形成完善的數(shù)字前端設(shè)計驗證解決方案,全方位覆蓋數(shù)字芯片驗證。
11e4e88e-bbe1-11ee-aa22-92fbcf53809c.png
國微芯執(zhí)行總裁兼首席技術(shù)官白耿博士表示,通過思爾芯的芯神馳Pegasim軟件仿真構(gòu)建的Testbench平臺,和國微芯提供的標(biāo)準(zhǔn)接口,進(jìn)行數(shù)據(jù)交換,以實現(xiàn)數(shù)?;旌戏抡妗_@種協(xié)作方式有效地實現(xiàn)了高效的數(shù)?;旌戏抡妫粌H展現(xiàn)了兩家公司在EDA領(lǐng)域的專業(yè)實力,也為處理日益復(fù)雜的芯片設(shè)計問題提供了新的解決思路。同時PegaSim還可以與國微芯的形式驗證工具相連,著重于對覆蓋率庫文件中那些不可達(dá)部分的深入驗證,顯著增強(qiáng)軟件仿真過程中的代碼覆蓋率。這種形式屬性驗證的應(yīng)用可以通過增加激勵或優(yōu)化代碼來提高代碼覆蓋率,并進(jìn)行覆蓋不可達(dá)性的檢查。它還支持對指定模塊或特定代碼行進(jìn)行一種或多種類型的覆蓋不可達(dá)性檢查。這種方法有效地識別和刪除無意義或冗余的代碼,從而優(yōu)化了內(nèi)在邏輯,提高了整體設(shè)計的質(zhì)量和效率。通過這種方式,思爾芯的PegaSim不僅增強(qiáng)了仿真的全面性,還優(yōu)化了設(shè)計過程中的關(guān)鍵步驟。這樣的進(jìn)步確保了更高效和準(zhǔn)確的芯片設(shè)計,為系統(tǒng)級芯片(SoC)的開發(fā)帶來了顯著的技術(shù)優(yōu)勢。

復(fù)旦大學(xué)微電子學(xué)院院長張衛(wèi)教授在致辭中肯定了在過去20年里思爾芯在行業(yè)中的前瞻性作法,還強(qiáng)調(diào)了思爾芯在業(yè)界的知名度以及取得的成就,包括其芯神系列產(chǎn)品在軟硬件方面對芯片設(shè)計產(chǎn)業(yè)的貢獻(xiàn)。
11ea20b0-bbe1-11ee-aa22-92fbcf53809c.png圖為復(fù)旦大學(xué)微電子學(xué)院院長張衛(wèi)院長


合作創(chuàng)新,構(gòu)建芯生態(tài)

復(fù)旦大學(xué)微電子學(xué)院院長張衛(wèi)教授在致辭中還指出,在政府大力支持下,國產(chǎn)EDA生態(tài)初步形成。但目前這一生態(tài)還相對脆弱,未來需要更加開放和合作的心態(tài)。上海市集成電路行業(yè)協(xié)會秘書長郭奕武先生也表示,在地緣政治和經(jīng)濟(jì)發(fā)展不確定的大背景下,集成電路行業(yè)的發(fā)展更離不開跨企業(yè)、跨領(lǐng)域的緊密合作。

20年來,思爾芯致力于構(gòu)建一個良性的EDA產(chǎn)業(yè)生態(tài),通過開放的平臺,引導(dǎo)企業(yè)間建立合作機(jī)制,并通過產(chǎn)業(yè)間的良性競爭和產(chǎn)學(xué)研的合作推動整體發(fā)展。在EDA生態(tài)協(xié)作發(fā)展論壇暨思爾芯20周年成果展現(xiàn)場,思爾芯正式發(fā)布了《多元合作共創(chuàng)共贏行動計劃》。

11ef4040-bbe1-11ee-aa22-92fbcf53809c.png 《多元合作共創(chuàng)共贏行動計劃》是20年努力的延續(xù),更是一種拓展。目前已經(jīng)得到深圳國微芯科技有限公司、芯和半導(dǎo)體科技(上海)股份有限公司、武漢芯動科技有限公司、奇異摩爾(上海)集成電路有限公司、騰訊云計算(北京)有限責(zé)任公司等EDA、IP、設(shè)計公司、云服務(wù)等領(lǐng)域公司的響應(yīng),未來不將有更多的公司和高校加入。


在思爾芯20周年之際,希望依托這個行動計劃,與合作伙伴共同加快創(chuàng)新步伐,深化生態(tài)合作,共贏共創(chuàng)更美好的未來。

思爾芯希望通過多元合作模式,能夠更有效地應(yīng)對市場挑戰(zhàn),確保下一個20年的精彩;同時也為合作伙伴和客戶創(chuàng)造更多價值,共同推動技術(shù)創(chuàng)新和行業(yè)發(fā)展。

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

    關(guān)注

    459

    文章

    52352

    瀏覽量

    438560
  • eda
    eda
    +關(guān)注

    關(guān)注

    71

    文章

    2908

    瀏覽量

    177233
  • 思爾芯
    +關(guān)注

    關(guān)注

    0

    文章

    134

    瀏覽量

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

掃碼添加小助手

加入工程師交流群

    評論

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

    邀您共赴2025 RISC-V中國峰會!

    在上海張江科學(xué)會堂盛大啟幕。作為國內(nèi)首家數(shù)字EDA供應(yīng)商,S2C)將受邀亮相本屆RISC-V中國峰會。
    的頭像 發(fā)表于 06-26 09:52 ?242次閱讀
    <b class='flag-5'>思</b><b class='flag-5'>爾</b><b class='flag-5'>芯</b>邀您共赴2025 RISC-V<b class='flag-5'>中國</b>峰會!

    攜手Andes晶心科技,加速先進(jìn)RISC-V 芯片開發(fā)

    在RISC-V生態(tài)快速發(fā)展和應(yīng)用場景不斷拓展的背景下,芯片設(shè)計正面臨前所未有的復(fù)雜度挑戰(zhàn)。近日,RISC-V處理器核領(lǐng)先廠商Andes晶心科技與S2C)達(dá)成重要合作,其雙核單集
    的頭像 發(fā)表于 06-05 09:45 ?387次閱讀
    <b class='flag-5'>思</b><b class='flag-5'>爾</b><b class='flag-5'>芯</b>攜手Andes晶心科技,加速先進(jìn)RISC-V 芯片開發(fā)

    產(chǎn)學(xué)研融合!數(shù)字EDA工具走進(jìn)北航課堂

    5月22日,國內(nèi)首家數(shù)字EDA供應(yīng)商S2C)走進(jìn)北京航空航天大學(xué),為集成電路相關(guān)專業(yè)學(xué)子帶來《數(shù)字IC軟件仿真概論》專題培訓(xùn)。此次活動通過技術(shù)講解、工具演示相結(jié)合的形式,全方位
    的頭像 發(fā)表于 05-26 09:45 ?472次閱讀
    產(chǎn)學(xué)研融合!<b class='flag-5'>思</b><b class='flag-5'>爾</b><b class='flag-5'>芯</b>數(shù)字EDA工具走進(jìn)北航課堂

    榮獲&amp;quot;年度創(chuàng)新EDA公司&amp;quot;!雙引擎硬件輔助驗證平臺加速復(fù)雜AI 設(shè)計

    的未來發(fā)展方向。峰會期間,備受矚目的中國IC設(shè)計成就獎?wù)浇視裕?b class='flag-5'>思S2C)憑借其完善的數(shù)字前端EDA解決方案,榮獲了“2025
    的頭像 發(fā)表于 03-27 20:23 ?364次閱讀
    <b class='flag-5'>思</b><b class='flag-5'>爾</b><b class='flag-5'>芯</b>榮獲&amp;quot;年度<b class='flag-5'>創(chuàng)新</b>EDA公司&amp;quot;!雙引擎硬件輔助<b class='flag-5'>驗證</b>平臺加速復(fù)雜AI 設(shè)計

    第八代原型驗證系統(tǒng)獲國內(nèi)外頭部廠商青睞

    國內(nèi)領(lǐng)先的數(shù)字EDA(電子設(shè)計自動化)供應(yīng)商(S2C)近日宣布,其第八代原型驗證系統(tǒng)——
    的頭像 發(fā)表于 12-20 14:00 ?532次閱讀

    第八代原型驗證S8-100全系已獲客戶部署,雙倍容量加速創(chuàng)新

    202412月19日, 國內(nèi)首家數(shù)字EDA供應(yīng)商S2C)第八代原型驗證——
    發(fā)表于 12-19 09:59 ?443次閱讀
    <b class='flag-5'>思</b><b class='flag-5'>爾</b><b class='flag-5'>芯</b>第八代原型<b class='flag-5'>驗證</b><b class='flag-5'>S</b>8-100全系已獲客戶部署,雙倍容量加速<b class='flag-5'>創(chuàng)新</b>

    第八代原型驗證S8-100全系已獲客戶部署,雙倍容量加速創(chuàng)新

    引言202412月19日,國內(nèi)首家數(shù)字EDA供應(yīng)商S2C)第八代原型驗證——
    的頭像 發(fā)表于 12-19 09:41 ?628次閱讀
    <b class='flag-5'>思</b><b class='flag-5'>爾</b><b class='flag-5'>芯</b>第八代原型<b class='flag-5'>驗證</b><b class='flag-5'>S</b>8-100全系已獲客戶部署,雙倍容量加速<b class='flag-5'>創(chuàng)新</b>

    “2025 IC風(fēng)云榜”揭曉,獲“年度最佳解決方案獎”

    應(yīng)用級創(chuàng)新解決方案,榮獲“年度最佳解決方案獎”。該獎項專為能夠為行業(yè)提供高品質(zhì)、創(chuàng)新性解決方案,且其產(chǎn)品已獲得行業(yè)客戶廣泛認(rèn)可和好評的企業(yè)而設(shè)立的。
    的頭像 發(fā)表于 12-14 21:03 ?1044次閱讀
    “2025 IC風(fēng)云榜”揭曉,<b class='flag-5'>思</b><b class='flag-5'>爾</b><b class='flag-5'>芯</b>獲“年度最佳解決方案獎”

    與您相約上海,這份ICCAD-Expo 2024互動指南請查收

    ICCAD-Expo12月11-12日ICCAD-Expo2024盛會啟幕,親愛的朋友們,S2C誠邀您共赴這場科技盛宴!在這里,我們的大咖將登臺獻(xiàn)智,硬核產(chǎn)品靜待您的探索,更有實
    的頭像 發(fā)表于 11-26 01:02 ?627次閱讀
    <b class='flag-5'>思</b><b class='flag-5'>爾</b><b class='flag-5'>芯</b>與您相約上海,這份ICCAD-Expo 2024互動指南請查收

    加入甲辰計劃,共推RISC-V生態(tài)

    近日,國內(nèi)領(lǐng)先的數(shù)字EDA解決方案提供商S2C)宣布了一項重要戰(zhàn)略舉措——正式加入甲辰計劃(RISC-V Prosperity 2036),標(biāo)志著其在推動RISC-V開源架構(gòu)生
    的頭像 發(fā)表于 09-10 16:38 ?706次閱讀

    加入甲辰計劃,持續(xù)助力共推 RISC-V 生態(tài)

    202409月05日,作為國內(nèi)首家數(shù)字EDA供應(yīng)商,S2C)宣布正式加入甲辰計劃(RISC-VProsperity2036)。
    的頭像 發(fā)表于 09-05 08:05 ?768次閱讀
    <b class='flag-5'>思</b><b class='flag-5'>爾</b><b class='flag-5'>芯</b>加入甲辰計劃,<b class='flag-5'>持續(xù)</b>助力共推 RISC-V 生態(tài)

    受邀參加CCF Chip 2024大會

    日前,備受矚目的中國計算機(jī)學(xué)會芯片大會(CCF Chip 2024)在上海隆重舉行。作為國內(nèi)首家數(shù)字EDA供應(yīng)商,(S2C)受邀參與此
    的頭像 發(fā)表于 08-28 14:25 ?641次閱讀

    創(chuàng)新實踐成果通過上海市高新技術(shù)成果轉(zhuǎn)化項目認(rèn)定

    近日,自主研發(fā)的神瞳原型驗證系統(tǒng)ProdigyS7-19PQ-2(P-LSVU19PQ-
    的頭像 發(fā)表于 07-11 08:24 ?736次閱讀
    <b class='flag-5'>思</b><b class='flag-5'>爾</b><b class='flag-5'>芯</b><b class='flag-5'>創(chuàng)新</b>實踐成果通過上海市高新技術(shù)成果轉(zhuǎn)化項目認(rèn)定

    神瞳原型驗證系統(tǒng)通過上海市高新技術(shù)成果轉(zhuǎn)化項目認(rèn)定

    的技術(shù)創(chuàng)新和應(yīng)用實踐水平獲得了新的認(rèn)可和肯定。 神瞳原型驗證系統(tǒng)是最早推出的數(shù)字EDA工
    的頭像 發(fā)表于 07-10 16:14 ?830次閱讀

    即將亮相CCF Chip 2024 ,共推智算未來

    20247月19日至21日,備受矚目的中國計算機(jī)學(xué)會芯片大會(CCFChip2024)將在上海隆重舉行。作為國內(nèi)首家數(shù)字EDA供應(yīng)商,
    的頭像 發(fā)表于 07-03 08:24 ?542次閱讀
    <b class='flag-5'>思</b><b class='flag-5'>爾</b><b class='flag-5'>芯</b>即將亮相CCF Chip 2024 ,共推智算<b class='flag-5'>芯</b>未來