[導(dǎo)讀] 由于片上系統(tǒng)(SoC)設(shè)計變得越來越復(fù)雜,驗(yàn)證面臨著巨大的挑戰(zhàn)。大型團(tuán)隊不斷利用更多資源來尋求最高效的方法,從而將新的方法學(xué)與驗(yàn)證整合在一起,并最終將設(shè)計與驗(yàn)證整合在一起。雖然我們知道實(shí)現(xiàn)驗(yàn)證計劃幾乎占
由于片上系統(tǒng)(SoC)設(shè)計變得越來越復(fù)雜,驗(yàn)證面臨著巨大的挑戰(zhàn)。大型團(tuán)隊不斷利用更多資源來尋求最高效的方法,從而將新的方法學(xué)與驗(yàn)證整合在一起,并最終將設(shè)計與驗(yàn)證整合在一起。雖然我們知道實(shí)現(xiàn)驗(yàn)證計劃幾乎占去了整個芯片設(shè)計工作的2/3,但是我們還是發(fā)現(xiàn)有團(tuán)隊遲交芯片,錯過計劃的流片最終期限。這種疏忽可能造成嚴(yán)重的商業(yè)后果,因?yàn)檫@意味著硬件和軟件錯誤經(jīng)常被遺漏,直到設(shè)計周期的晚期。
為了創(chuàng)建一個全面的驗(yàn)證解決方案,我們首先必須認(rèn)識到設(shè)計工程師和驗(yàn)證工程師所面臨的分歧和挑戰(zhàn)。在這個過程中,我們發(fā)現(xiàn)某些差距被忽略了。第一個被普遍忽略的主要差距是“重用”。通常,模塊級驗(yàn)證環(huán)境在集群級(子系統(tǒng))或芯片級驗(yàn)證環(huán)境中不起作用,這是一個大問題。
首先,擴(kuò)大的團(tuán)隊將需要對任何復(fù)雜芯片設(shè)計的關(guān)鍵階段進(jìn)行驗(yàn)證。整個架構(gòu)將需要進(jìn)行分析,必須將采用SystemC或C++等高級別抽象語言的模型考慮在內(nèi)。在這個早期階段,設(shè)計模塊的部分必須在高級別系統(tǒng)級接口中進(jìn)行建模,并在軟件開發(fā)階段的早期進(jìn)行驗(yàn)證。
這里有兩個好處:早期調(diào)試硬件和軟件中的架構(gòu)漏洞的能力以及采用事務(wù)級模型(TLM)的潛在性能優(yōu)勢。確保架構(gòu)級流程通過驗(yàn)證工程師與架構(gòu)和軟件團(tuán)隊的密切合作來開發(fā)和維護(hù)至關(guān)重要。
驗(yàn)證階段正是SoC驗(yàn)證套件大顯身手的階段。一個良好組合的驗(yàn)證套件允許用戶輕松訪問驗(yàn)證的眾多有影響的方面(如形式分析和聲明和覆蓋),從而向系統(tǒng)級閉合推進(jìn)。在這個流程中,設(shè)計工程師和驗(yàn)證工程師能夠重用架構(gòu)流程中的一些事務(wù)級模型,并且還能改進(jìn)環(huán)境以完善sock驗(yàn)證環(huán)境。
隨著最近消費(fèi)產(chǎn)品的芯片越來越小,設(shè)計工程師需要采用先進(jìn)的功率節(jié)省技術(shù)將越來越多的設(shè)計單元裝在較小的空間內(nèi),這些技術(shù)的驗(yàn)證變得前所未有的重要。工程師必須考慮各種省電模式、保證正常的功能,并確保所有覆蓋都已經(jīng)考慮在內(nèi)。用戶必須考慮動態(tài)測試、動態(tài)和靜態(tài)聲明以及使用戶從最初的計劃進(jìn)入驗(yàn)證結(jié)束階段的基本功能驗(yàn)證方法。
在微架構(gòu)實(shí)現(xiàn)期間,分析復(fù)雜性和性能至關(guān)重要。設(shè)計工程師必須與專門的驗(yàn)證工程師密切配合,以確保驗(yàn)證元件、以前的測試以及覆蓋和一致性檢查的適當(dāng)重用??蓴U(kuò)展性需要工程師在同時考慮硬件和軟件的情況下從模塊級開始向系統(tǒng)級推進(jìn)。此外,在牢記準(zhǔn)備好起動整個過程的“全套工具”的最終優(yōu)勢的同時,測試臺開發(fā)和計劃必須貫穿從早期的架構(gòu)建模(流程1)到后晶片驗(yàn)證(芯片提取)的整個過程。
AmjadQureshi是CadenceDesignSystems公司總監(jiān)兼數(shù)字套件架構(gòu)師。
本站聲明: 本文章由作者或相關(guān)機(jī)構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點(diǎn),本站亦不保證或承諾內(nèi)容真實(shí)性等。需要轉(zhuǎn)載請聯(lián)系該專欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請及時聯(lián)系本站刪除。
成都2022年10月19日 /美通社/ -- 近期,平安養(yǎng)老險積極籌備個人養(yǎng)老金的產(chǎn)品設(shè)計和系統(tǒng)開發(fā)工作,發(fā)展多樣化的養(yǎng)老金融產(chǎn)品,推動商業(yè)養(yǎng)老保險、個人養(yǎng)老金、專屬商業(yè)養(yǎng)老保險等產(chǎn)品供給。 搭養(yǎng)老政策東風(fēng) ...
關(guān)鍵字:
溫度
BSP
東風(fēng)
大眾
廣東佛山2022年10月19日 /美通社/ -- 空間是人居生活的基礎(chǔ)單元,承載著生存與活動的最基本功能。而對于理想空間的解構(gòu)意義卻在物理性容器之外,體現(xiàn)出人們對于空間和生活深層關(guān)系的思考,同時也塑造著人與空間的新型連接...
關(guān)鍵字:
溫度
BSP
智能化
進(jìn)程
上海2022年10月19日 /美通社/ -- 10月17日晚間,安集科技披露業(yè)績預(yù)告。今年前三季度,公司預(yù)計實(shí)現(xiàn)營業(yè)收入7.54億元至8.33億元,同比增長60.24%至77.03%;歸母凈利潤預(yù)計為1.73億...
關(guān)鍵字:
電子
安集科技
BSP
EPS
北京2022年10月19日 /美通社/ -- 10月18日,北京市經(jīng)濟(jì)和信息化局發(fā)布2022年度第一批北京市市級企業(yè)技術(shù)中心創(chuàng)建名單的通知,諾誠健華正式獲得"北京市企業(yè)技術(shù)中心"認(rèn)定。 北京市企業(yè)技...
關(guān)鍵字:
BSP
ARMA
COM
代碼
北京2022年10月18日 /美通社/ -- 10月14日,國際數(shù)據(jù)公司(IDC)發(fā)布《2022Q2中國軟件定義存儲及超融合市場研究報告》,報告顯示:2022年上半年浪潮超融合銷售額同比增長59.4%,近5倍于...
關(guān)鍵字:
IDC
BSP
數(shù)字化
數(shù)據(jù)中心
上海2022年10月18日 /美通社/ -- 2022年9月5日,是首都銀行集團(tuán)成立60周年的紀(jì)念日。趁著首都銀行集團(tuán)成立60周年與首都銀行(中國)在華深耕經(jīng)營12年的“大日子”,圍繞作為外資金融機(jī)構(gòu)對在華戰(zhàn)略的構(gòu)想和業(yè)...
關(guān)鍵字:
數(shù)字化
BSP
供應(yīng)鏈
控制
東京2022年10月18日 /美通社/ -- NIPPON EXPRESS HOLDINGS株式會社(NIPPON EXPRESS HOLDINGS, INC.)旗下集團(tuán)公司上海通運(yùn)國際物流有限公司(Nipp...
關(guān)鍵字:
溫控
精密儀器
半導(dǎo)體制造
BSP
廣州2022年10月18日 /美通社/ -- 10月15日,第 132 屆中國進(jìn)出口商品交易會("廣交會")于"云端"開幕。本屆廣交會上高新技術(shù)企業(yè)云集,展出的智能產(chǎn)品超過140,...
關(guān)鍵字:
中國智造
BSP
手機(jī)
CAN
要問機(jī)器人公司哪家強(qiáng),波士頓動力絕對是其中的佼佼者。近來年該公司在機(jī)器人研發(fā)方面獲得的一些成果令人印象深刻,比如其開發(fā)的機(jī)器人會后空翻,自主爬樓梯等。這不,波士頓動力又發(fā)布了其機(jī)器人組團(tuán)跳男團(tuán)舞的新視頻,表演的機(jī)器人包括...
關(guān)鍵字:
機(jī)器人
BSP
工業(yè)機(jī)器人
現(xiàn)代汽車
南京2022年10月17日 /美通社/ -- 日前《2022第三屆中國高端家電品牌G50峰會》于浙江寧波落幕,來自兩百余名行業(yè)大咖、專家學(xué)者共同探討了在形勢依然嚴(yán)峻的當(dāng)下,如何以科技創(chuàng)新、高端化轉(zhuǎn)型等手段,幫助...
關(guān)鍵字:
LINK
AI
BSP
智能家電
SAIHUB CAB 025M成功獲得安全試驗(yàn)所UL美國與加拿大認(rèn)證證書 新加坡2022年10月17日 /美通社/ -- SAI.TECH Global Corporation("SAI.TECH"...
關(guān)鍵字:
AI
BSP
PS
清潔能源
鄭州2022年10月17日 /美通社/ -- 近日,《福布斯》發(fā)布了"2022年全球最佳雇主榜單"(The World's Best Employers 2022),中國平安再度上榜并排名全...
關(guān)鍵字:
福布斯
ST
TI
BSP
通過第二項(xiàng)3nm設(shè)計選用擴(kuò)展技術(shù)領(lǐng)先地位 第三季度強(qiáng)勁的貿(mào)易和設(shè)計選用反映出我們結(jié)合了IP和定制硅的混合業(yè)務(wù)模式 自2022年9月1日起,OpenFive首次并入集團(tuán) 盡管宏觀環(huán)境困難,但管理層仍對業(yè)務(wù)...
關(guān)鍵字:
BSP
ALPHA
PEN
Silicon
歐洲藥品管理局人用藥品管理委員會 (CHMP) 的積極建議是基于 EFFISAYIL® 1 研究結(jié)果,該研究是針對泛發(fā)性膿皰型銀屑病 (GPP) 發(fā)作患者的最大的臨床研究[1] 與斑塊狀銀屑病不同,GP...
關(guān)鍵字:
HM
BSP
GP
FOR
流體動壓滑動軸承為風(fēng)機(jī)發(fā)展書寫嶄新篇章 軸承滑動層增材制造與精加工為工業(yè)級大規(guī)模生產(chǎn)鋪平道路 軸承設(shè)計從綜合性系統(tǒng)理念出發(fā) 德國施韋因富特和漢堡2022年10月17日 /美通社/ -- 舍弗勒推出了采...
關(guān)鍵字:
齒輪箱
滑動軸承
風(fēng)力渦輪機(jī)
BSP
上海2022年10月17日 /美通社/ -- Brother內(nèi)置墨倉彩色噴墨一體機(jī)DCP-C421W新上市。此次Brother創(chuàng)新引入"按需打印,按頁付費(fèi)"...
關(guān)鍵字:
DC
打印機(jī)
BSP
DESIGN
慕尼黑2022年10月17日 /美通社/ -- TUV南德意志集團(tuán)(以下簡稱"TUV南德")在EcoVadis全球企業(yè)社會責(zé)任評級中以總分71分榮獲金獎。...
關(guān)鍵字:
OV
ADIS
BSP
COM
上海2022年10月17日 /美通社/ -- 10月12日,"華東理工大學(xué)-珀金埃爾默化工青年教師獎教金"儀式圓滿舉行。華東理工大學(xué)副校長閻海峰,珀金埃爾默全球副總裁、大中華區(qū)銷售與服務(wù)總經(jīng)...
關(guān)鍵字:
BSP
核心技術(shù)
如果獲批,百悅澤 ®將成為歐盟地區(qū)獲批用于慢性淋巴細(xì)胞白血病治療的布魯頓氏酪氨酸激酶(BTK)抑制劑中唯一在頭對頭試驗(yàn)中較標(biāo)準(zhǔn)治療獲得優(yōu)效性的藥物 憑借較標(biāo)準(zhǔn)治療顯著更低的房顫和房撲發(fā)生率 ...
關(guān)鍵字:
神州
BSP
EMI
CAN
一般從事互聯(lián)網(wǎng)工作,尤其是軟件類崗位,通常加班現(xiàn)象都是比較嚴(yán)重的。那么,做硬件的就沒有加班了嗎?
關(guān)鍵字:
互聯(lián)網(wǎng)
程序員
工程師