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