SpringSoft新版CERTITUDE以更多元的方式配置驗證方法

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

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

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

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

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

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

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