SpringSoft今天宣布Certitude™功能驗(yàn)證品管系統(tǒng)的重大發(fā)展，能夠以更多元且更具效率的方式配置驗(yàn)證方法。新推出的自動(dòng)偵測(cè)與驗(yàn)證環(huán)境檢驗(yàn)功能是其中主要的創(chuàng)新，能夠以更少的資源，迅速確認(rèn)芯片驗(yàn)證環(huán)境中的潛在問(wèn)題，同時(shí)持續(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ī)制與測(cè)試的工具。Certitude技術(shù)平臺(tái)擴(kuò)充的目的在于盡早、且更頻繁地檢查重要功能，確保驗(yàn)證環(huán)境擁有高信心水平的「signoff」質(zhì)量。這項(xiàng)研發(fā)里程碑是SpringSoft的使命與產(chǎn)品藍(lán)圖中不可或缺的一環(huán)，目的是加速目前越趨復(fù)雜SoC設(shè)計(jì)的功能收斂。
　
　　SpringSoft產(chǎn)品營(yíng)銷部門(mén)處長(zhǎng)George Bakewell表示：「Certitude逐漸成為功能驗(yàn)證signoff流程中不可或缺的一環(huán)，新版的Certitude提供嶄新的自動(dòng)化技術(shù)與基礎(chǔ)架構(gòu)，快速提供實(shí)用的芯片驗(yàn)證環(huán)境質(zhì)量信息，讓工程師們能夠排定工作優(yōu)先級(jí)，更有效地運(yùn)用系統(tǒng)資源。更重要的是，我們也將這個(gè)功能驗(yàn)證使用模型延伸至更早期的驗(yàn)證流程，而不僅當(dāng)作流程末期的單點(diǎn)工具而已，協(xié)助SoC團(tuán)隊(duì)擁有更高質(zhì)量的設(shè)計(jì)，signoff更迅速?！?br /> 　
更完善的技術(shù)平臺(tái)
　　SpringSoft的Certitude軟件結(jié)合專利自動(dòng)化技術(shù)以及以變異為基礎(chǔ)(mutation-based)的技術(shù)與靜態(tài)分析，能夠評(píng)估效能、確認(rèn)重大缺失，并且改善HDL仿真驗(yàn)證的結(jié)果質(zhì)量。換句話說(shuō)，這套系統(tǒng)會(huì)將錯(cuò)誤(人為變異)置入緩存器轉(zhuǎn)換階層(RTL)設(shè)計(jì)中，并且使用工程師選擇的數(shù)字邏輯仿真工具，針對(duì)每一項(xiàng)變異進(jìn)行測(cè)試。測(cè)試結(jié)果包含詳盡的錯(cuò)誤啟動(dòng)(activation)、傳遞(propagation)與偵測(cè)等功能檢測(cè)信息，以評(píng)估整體驗(yàn)證流程，同時(shí)找出并修正漏洞，譬如缺漏的功能查核、不完整的測(cè)試過(guò)程，以及基礎(chǔ)架構(gòu)問(wèn)題。分析無(wú)法傳遞或驗(yàn)證環(huán)境無(wú)法偵測(cè)的錯(cuò)誤，并準(zhǔn)確地指出測(cè)試向量、觀測(cè)性(observability)或結(jié)果檢驗(yàn)程序的問(wèn)題，進(jìn)而協(xié)助修正。
　
　　Certitude技術(shù)平臺(tái)新增錯(cuò)誤偵測(cè)、排序與追蹤功能，在整個(gè)驗(yàn)證流程中能夠更迅速地提供重要信息回饋、縝密分析結(jié)果，并且簡(jiǎn)化錯(cuò)誤分析。Certitude系統(tǒng)發(fā)現(xiàn)未檢出(ND, Non-Detected)的錯(cuò)誤時(shí)，會(huì)自動(dòng)排除(drop)其他與此ND錯(cuò)誤相關(guān)的錯(cuò)誤，避免浪費(fèi)寶貴的時(shí)間。這項(xiàng)功能最初以邏輯錐(logic cone)為基礎(chǔ)，已經(jīng)過(guò)多年的粹煉。這套系統(tǒng)現(xiàn)可運(yùn)用延展邏輯錐方法，由單一錐體延展排除標(biāo)準(zhǔn)，進(jìn)一步減少「噪聲」因素，提供錯(cuò)誤排除功能。工程師能夠更迅速地找出應(yīng)優(yōu)先處理的ND錯(cuò)誤。新的錯(cuò)誤排序與優(yōu)先排序功能可說(shuō)明特定錯(cuò)誤類別(fault class)中，那一個(gè)ND錯(cuò)誤應(yīng)率先分析，以及該使用那一個(gè)測(cè)試程序。特定ND錯(cuò)誤的測(cè)試也會(huì)依據(jù)傳輸時(shí)對(duì)輸出造成的影響為基準(zhǔn)自動(dòng)排序。
　
　　Certitude系統(tǒng)在找出足夠的重要結(jié)果時(shí)會(huì)自動(dòng)停止，如此一來(lái)工程師便能夠持續(xù)分析、修正并排除問(wèn)題。這項(xiàng)偵測(cè)自動(dòng)停止功能有賴預(yù)先定義的標(biāo)準(zhǔn)，譬如優(yōu)先錯(cuò)誤類別以及類別中的ND錯(cuò)誤，以驗(yàn)證目標(biāo)為基礎(chǔ)，定義出一個(gè)合理的中止點(diǎn)。除此之外，由于Certitude在不同作業(yè)間源代碼經(jīng)常變動(dòng)，因此這套工具采用自動(dòng)化錯(cuò)誤ID架構(gòu)，能夠明確對(duì)應(yīng)錯(cuò)誤ID，讓用來(lái)分析結(jié)果的報(bào)告內(nèi)容維持一致性。
　
更簡(jiǎn)單完整的驗(yàn)證 Signoff
　　SpringSoft也將引進(jìn)新使用模式做為Certitude平臺(tái)擴(kuò)充的一環(huán)，能夠讓Certitude配置在早期的驗(yàn)證流程中，評(píng)估環(huán)境偵測(cè)非特定行為的能力。在大多數(shù)的SoC驗(yàn)證環(huán)境中，檢驗(yàn)程序基礎(chǔ)架構(gòu)基本上在所有撰寫(xiě)測(cè)試方案前就已就緒。這套新模式旨的設(shè)計(jì)主要在以更少的模擬資源，快速產(chǎn)生模擬結(jié)果，以便能在早期評(píng)估檢驗(yàn)程序效能，并且指出問(wèn)題所在，譬如不正確或漏失的查核程序。除此之外，SpringSoft的產(chǎn)品藍(lán)圖將進(jìn)一步拓展Certitude應(yīng)用范圍，戮力實(shí)現(xiàn)完成度更高的功能驗(yàn)證sign-off工作。我們的研發(fā)成果涵蓋各個(gè)領(lǐng)域，包括更完備的SoC層應(yīng)用，以及強(qiáng)化的斷言(assertion)支持。