SpringSoft新版功能驗證品管系統提供創(chuàng )新先進(jìn)的偵測與檢驗功能

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

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

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

　　更完善的技術(shù)平臺

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

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

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

　　更簡(jiǎn)單完整的驗證 Signoff

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