www.久久久久|狼友网站av天堂|精品国产无码a片|一级av色欲av|91在线播放视频|亚洲无码主播在线|国产精品草久在线|明星AV网站在线|污污内射久久一区|婷婷综合视频网站

當(dāng)前位置:首頁 > EDA > 電子設(shè)計(jì)自動化
[導(dǎo)讀]21ic訊 SpringSoft日前宣布Certitude™功能驗(yàn)證品管系統(tǒng)的重大發(fā)展,能夠以更多元且更具效率的方式配置驗(yàn)證方法。新推出的自動偵測與驗(yàn)證環(huán)境檢驗(yàn)功能是其中主要的創(chuàng)新,能夠以更少的資源,迅速確認(rèn)芯片驗(yàn)證環(huán)境

21ic訊 SpringSoft日前宣布Certitude™功能驗(yàn)證品管系統(tǒng)的重大發(fā)展,能夠以更多元且更具效率的方式配置驗(yàn)證方法。新推出的自動偵測與驗(yàn)證環(huán)境檢驗(yàn)功能是其中主要的創(chuàng)新,能夠以更少的資源,迅速確認(rèn)芯片驗(yàn)證環(huán)境中的潛在問題,同時持續(xù)改良驗(yàn)證流程。

功能驗(yàn)證就是確認(rèn)芯片設(shè)計(jì)建置依據(jù)指定方式運(yùn)作的流程。Certitude軟件是市面上獨(dú)家提供,能夠客觀驗(yàn)證IP與系統(tǒng)單芯片(SoC)設(shè)計(jì)檢驗(yàn)機(jī)制與測試的工具。Certitude技術(shù)平臺擴(kuò)充的目的在于盡早、且更頻繁地檢查重要功能,確保驗(yàn)證環(huán)境擁有高信心水平的「signoff」質(zhì)量。這項(xiàng)研發(fā)里程碑是SpringSoft的使命與產(chǎn)品藍(lán)圖中不可或缺的一環(huán),目的是加速目前越趨復(fù)雜SoC設(shè)計(jì)的功能收斂。

SpringSoft產(chǎn)品營銷部門處長George Bakewell表示:「Certitude逐漸成為功能驗(yàn)證signoff流程中不可或缺的一環(huán),新版的Certitude提供嶄新的自動化技術(shù)與基礎(chǔ)架構(gòu),快速提供實(shí)用的芯片驗(yàn)證環(huán)境質(zhì)量信息,讓工程師們能夠排定工作優(yōu)先級,更有效地運(yùn)用系統(tǒng)資源。更重要的是,我們也將這個功能驗(yàn)證使用模型延伸至更早期的驗(yàn)證流程,而不僅當(dāng)作流程末期的單點(diǎn)工具而已,協(xié)助SoC團(tuán)隊(duì)擁有更高質(zhì)量的設(shè)計(jì),signoff更迅速?!?/p>

更完善的技術(shù)平臺
SpringSoft的Certitude軟件結(jié)合專利自動化技術(shù)以及以變異為基礎(chǔ)(mutation-based)的技術(shù)與靜態(tài)分析,能夠評估效能、確認(rèn)重大缺失,并且改善HDL仿真驗(yàn)證的結(jié)果質(zhì)量。換句話說,這套系統(tǒng)會將錯誤(人為變異)置入緩存器轉(zhuǎn)換階層(RTL)設(shè)計(jì)中,并且使用工程師選擇的數(shù)字邏輯仿真工具,針對每一項(xiàng)變異進(jìn)行測試。測試結(jié)果包含詳盡的錯誤啟動(activation)、傳遞(propagation)與偵測等功能檢測信息,以評估整體驗(yàn)證流程,同時找出并修正漏洞,譬如缺漏的功能查核、不完整的測試過程,以及基礎(chǔ)架構(gòu)問題。分析無法傳遞或驗(yàn)證環(huán)境無法偵測的錯誤,并準(zhǔn)確地指出測試向量、觀測性(observability)或結(jié)果檢驗(yàn)程序的問題,進(jìn)而協(xié)助修正。

Certitude技術(shù)平臺新增錯誤偵測、排序與追蹤功能,在整個驗(yàn)證流程中能夠更迅速地提供重要信息回饋、縝密分析結(jié)果,并且簡化錯誤分析。Certitude系統(tǒng)發(fā)現(xiàn)未檢出(ND, Non-Detected)的錯誤時,會自動排除(drop)其他與此ND錯誤相關(guān)的錯誤,避免浪費(fèi)寶貴的時間。這項(xiàng)功能最初以邏輯錐(logic cone)為基礎(chǔ),已經(jīng)過多年的粹煉。這套系統(tǒng)現(xiàn)可運(yùn)用延展邏輯錐方法,由單一錐體延展排除標(biāo)準(zhǔn),進(jìn)一步減少「噪聲」因素,提供錯誤排除功能。工程師能夠更迅速地找出應(yīng)優(yōu)先處理的ND錯誤。新的錯誤排序與優(yōu)先排序功能可說明特定錯誤類別(fault class)中,那一個ND錯誤應(yīng)率先分析,以及該使用那一個測試程序。特定ND錯誤的測試也會依據(jù)傳輸時對輸出造成的影響為基準(zhǔn)自動排序。

Certitude系統(tǒng)在找出足夠的重要結(jié)果時會自動停止,如此一來工程師便能夠持續(xù)分析、修正并排除問題。這項(xiàng)偵測自動停止功能有賴預(yù)先定義的標(biāo)準(zhǔn),譬如優(yōu)先錯誤類別以及類別中的ND錯誤,以驗(yàn)證目標(biāo)為基礎(chǔ),定義出一個合理的中止點(diǎn)。除此之外,由于Certitude在不同作業(yè)間源代碼經(jīng)常變動,因此這套工具采用自動化錯誤ID架構(gòu),能夠明確對應(yīng)錯誤ID,讓用來分析結(jié)果的報(bào)告內(nèi)容維持一致性。

更簡單完整的驗(yàn)證 Signoff
SpringSoft也將引進(jìn)新使用模式做為Certitude平臺擴(kuò)充的一環(huán),能夠讓Certitude配置在早期的驗(yàn)證流程中,評估環(huán)境偵測非特定行為的能力。在大多數(shù)的SoC驗(yàn)證環(huán)境中,檢驗(yàn)程序基礎(chǔ)架構(gòu)基本上在所有撰寫測試方案前就已就緒。這套新模式旨的設(shè)計(jì)主要在以更少的模擬資源,快速產(chǎn)生模擬結(jié)果,以便能在早期評估檢驗(yàn)程序效能,并且指出問題所在,譬如不正確或漏失的查核程序。除此之外,SpringSoft的產(chǎn)品藍(lán)圖將進(jìn)一步拓展Certitude應(yīng)用范圍,戮力實(shí)現(xiàn)完成度更高的功能驗(yàn)證sign-off工作。我們的研發(fā)成果涵蓋各個領(lǐng)域,包括更完備的SoC層應(yīng)用,以及強(qiáng)化的斷言(assertion)支持。
 

本站聲明: 本文章由作者或相關(guān)機(jī)構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點(diǎn),本站亦不保證或承諾內(nèi)容真實(shí)性等。需要轉(zhuǎn)載請聯(lián)系該專欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請及時聯(lián)系本站刪除。
換一批
延伸閱讀

LED驅(qū)動電源的輸入包括高壓工頻交流(即市電)、低壓直流、高壓直流、低壓高頻交流(如電子變壓器的輸出)等。

關(guān)鍵字: 驅(qū)動電源

在工業(yè)自動化蓬勃發(fā)展的當(dāng)下,工業(yè)電機(jī)作為核心動力設(shè)備,其驅(qū)動電源的性能直接關(guān)系到整個系統(tǒng)的穩(wěn)定性和可靠性。其中,反電動勢抑制與過流保護(hù)是驅(qū)動電源設(shè)計(jì)中至關(guān)重要的兩個環(huán)節(jié),集成化方案的設(shè)計(jì)成為提升電機(jī)驅(qū)動性能的關(guān)鍵。

關(guān)鍵字: 工業(yè)電機(jī) 驅(qū)動電源

LED 驅(qū)動電源作為 LED 照明系統(tǒng)的 “心臟”,其穩(wěn)定性直接決定了整個照明設(shè)備的使用壽命。然而,在實(shí)際應(yīng)用中,LED 驅(qū)動電源易損壞的問題卻十分常見,不僅增加了維護(hù)成本,還影響了用戶體驗(yàn)。要解決這一問題,需從設(shè)計(jì)、生...

關(guān)鍵字: 驅(qū)動電源 照明系統(tǒng) 散熱

根據(jù)LED驅(qū)動電源的公式,電感內(nèi)電流波動大小和電感值成反比,輸出紋波和輸出電容值成反比。所以加大電感值和輸出電容值可以減小紋波。

關(guān)鍵字: LED 設(shè)計(jì) 驅(qū)動電源

電動汽車(EV)作為新能源汽車的重要代表,正逐漸成為全球汽車產(chǎn)業(yè)的重要發(fā)展方向。電動汽車的核心技術(shù)之一是電機(jī)驅(qū)動控制系統(tǒng),而絕緣柵雙極型晶體管(IGBT)作為電機(jī)驅(qū)動系統(tǒng)中的關(guān)鍵元件,其性能直接影響到電動汽車的動力性能和...

關(guān)鍵字: 電動汽車 新能源 驅(qū)動電源

在現(xiàn)代城市建設(shè)中,街道及停車場照明作為基礎(chǔ)設(shè)施的重要組成部分,其質(zhì)量和效率直接關(guān)系到城市的公共安全、居民生活質(zhì)量和能源利用效率。隨著科技的進(jìn)步,高亮度白光發(fā)光二極管(LED)因其獨(dú)特的優(yōu)勢逐漸取代傳統(tǒng)光源,成為大功率區(qū)域...

關(guān)鍵字: 發(fā)光二極管 驅(qū)動電源 LED

LED通用照明設(shè)計(jì)工程師會遇到許多挑戰(zhàn),如功率密度、功率因數(shù)校正(PFC)、空間受限和可靠性等。

關(guān)鍵字: LED 驅(qū)動電源 功率因數(shù)校正

在LED照明技術(shù)日益普及的今天,LED驅(qū)動電源的電磁干擾(EMI)問題成為了一個不可忽視的挑戰(zhàn)。電磁干擾不僅會影響LED燈具的正常工作,還可能對周圍電子設(shè)備造成不利影響,甚至引發(fā)系統(tǒng)故障。因此,采取有效的硬件措施來解決L...

關(guān)鍵字: LED照明技術(shù) 電磁干擾 驅(qū)動電源

開關(guān)電源具有效率高的特性,而且開關(guān)電源的變壓器體積比串聯(lián)穩(wěn)壓型電源的要小得多,電源電路比較整潔,整機(jī)重量也有所下降,所以,現(xiàn)在的LED驅(qū)動電源

關(guān)鍵字: LED 驅(qū)動電源 開關(guān)電源

LED驅(qū)動電源是把電源供應(yīng)轉(zhuǎn)換為特定的電壓電流以驅(qū)動LED發(fā)光的電壓轉(zhuǎn)換器,通常情況下:LED驅(qū)動電源的輸入包括高壓工頻交流(即市電)、低壓直流、高壓直流、低壓高頻交流(如電子變壓器的輸出)等。

關(guān)鍵字: LED 隧道燈 驅(qū)動電源
關(guān)閉