專業(yè)IC設(shè)計(jì)軟件全球供貨商SpringSoft(SpringSoft, Inc.)今天發(fā)表Certitude™功能驗(yàn)證品管系統(tǒng)最新版本，擁有功能強(qiáng)大的方法與易于使用的優(yōu)勢。Certitude系統(tǒng)運(yùn)用獨(dú)家自動(dòng)化技術(shù)消除驗(yàn)證不確定性，并加速復(fù)雜IP與系統(tǒng)芯片(SoC)設(shè)計(jì)的功能收斂。這種自動(dòng)化技術(shù)能夠確保驗(yàn)證環(huán)境的完整性并找出可能縱容bug肆虐的安全漏洞。
　　Certitude系統(tǒng)中嶄新的優(yōu)先順位式偵測技術(shù)讓工程師們能夠迅速找出和修理最嚴(yán)重的問題，使仿真與CPU資源的運(yùn)用優(yōu)化。這種優(yōu)先順位式作法讓使用者能夠更早而且更頻繁地執(zhí)行Certitude系統(tǒng)，為驗(yàn)證環(huán)境提供快速的改善，并指導(dǎo)測試與檢查程序的開發(fā)。
　　新版軟件也具備與本公司屢獲佳績的Verdi™ 自動(dòng)化偵錯(cuò)系統(tǒng)整合的簡化設(shè)定與按鈕，以增強(qiáng)可視化、源代碼追蹤和分析結(jié)果的理解。這些功能提供更順暢、更高度自動(dòng)化的驗(yàn)證品管流程，讓工程師們更容易改善內(nèi)部IP的驗(yàn)證、評估第三方IP的質(zhì)量以及進(jìn)行SoC驗(yàn)證環(huán)境的品管工作。
　　SpringSoft產(chǎn)品營銷處長George Bakewell表示：「由于驗(yàn)證環(huán)境變得比設(shè)計(jì)本身更復(fù)雜，功能驗(yàn)證品管套用自動(dòng)化突變技術(shù)獲得驗(yàn)證品管的客觀數(shù)據(jù)。最新版Certitude讓這種做法更上層樓。先進(jìn)偵測技術(shù)、智能型作業(yè)與漸進(jìn)式使用模型的強(qiáng)力組合，讓更廣泛的用戶與驗(yàn)證應(yīng)用軟件都能享受絕佳的功能驗(yàn)證品管。
　　詳盡的白皮書說明功能驗(yàn)證品管技術(shù)的演進(jìn)以及最佳實(shí)務(wù)的應(yīng)用，請至SpringSoft網(wǎng)站查詢和下載：www.springsoft.com/whitepapers/functional-qualification
更早、更快速的故障偵測方法
　　SpringSoft研究發(fā)現(xiàn)，某些人為投入到RTL程序代碼中的故障會(huì)揭露驗(yàn)證中的重大漏洞，并產(chǎn)生更容易分析的結(jié)果。在最新版的軟件中，運(yùn)用多年來研究并依據(jù)數(shù)千次Certitude執(zhí)行結(jié)果所開發(fā)的規(guī)則，將故障分割成許多優(yōu)先排序的個(gè)案。然后按照優(yōu)先順位自動(dòng)品管，優(yōu)先揭露最大的弱點(diǎn)并盡早提供改善整體驗(yàn)證環(huán)境的建議。
　　這些優(yōu)先順位算法提供了有效率的漸進(jìn)式執(zhí)行方法 – 執(zhí)行功能驗(yàn)證品管、修理問題然后重新執(zhí)行 – 自動(dòng)累積長時(shí)間的品管數(shù)據(jù)，以驅(qū)動(dòng)測試開發(fā)與檢查程序的產(chǎn)生。早期偵測到的故障不必重新品管，除非相關(guān)的RTL程序代碼改變，節(jié)省寶貴的時(shí)間與耗用資源。
完善整合使結(jié)果分析更容易
　　最新版系統(tǒng)包括一個(gè)新的工具程序，可自動(dòng)產(chǎn)生編譯妥當(dāng)可供Verdi系統(tǒng)使用的Certitude配置文件。這個(gè)工具程序巧妙地運(yùn)用SpringSoft知識(shí)數(shù)據(jù)庫(KDB)，建立能夠由Certitude使用者修改的樣板，以提供更詳細(xì)且微調(diào)的參數(shù)。直覺式報(bào)表提供故障狀態(tài)信息，并顯示故障在哪里投入到RTL程序中。
　　此外，新增連接到Verdi環(huán)境的按鈕，使分析與偵錯(cuò)流程更容易。對于任何未發(fā)現(xiàn)的故障，信號數(shù)據(jù)可以批次轉(zhuǎn)換成為SpringSoft的FSDB (Fast Signal Database) 格式，然后由Verdi系統(tǒng)顯示波形。工程師能夠比較有缺陷和完美設(shè)計(jì)的結(jié)果、標(biāo)示差異，然后自動(dòng)跳躍到相關(guān)源代碼，以便運(yùn)用Verdi系統(tǒng)的結(jié)構(gòu)式分析與追蹤功能，進(jìn)一步調(diào)查和偵錯(cuò)。
關(guān)于SpringSoft
　　SpringSoft為提供全球?qū)I(yè)自動(dòng)化技術(shù)之領(lǐng)導(dǎo)廠商，所提供產(chǎn)品能加速工程師對于復(fù)雜的數(shù)字、邏輯、混合信號集成電路 (ICs)、特殊應(yīng)用集成電路 (ASICs)、微處理器、及系統(tǒng)單芯片 (SoCs) 之設(shè)計(jì)、驗(yàn)證及偵錯(cuò)。其獲獎(jiǎng)無數(shù)的產(chǎn)品包括有Novas驗(yàn)證強(qiáng)化和 Laker 定制IC 設(shè)計(jì)解決方案，已有超過400個(gè)整合組件制造(IDM)、無晶圓廠半導(dǎo)體公司、晶圓代工廠、及電子系統(tǒng)代工 (OEMs) 領(lǐng)導(dǎo)廠商使用。總部設(shè)在臺(tái)灣新竹及美國加州圣荷西，SpringSoft為亞洲最大且第一家掛牌上市之電子設(shè)計(jì)自動(dòng)化廠商，并且以客戶服務(wù)在業(yè)界著稱，其400多位員工分布于世界各地?cái)?shù)個(gè)研發(fā)及技術(shù)服務(wù)據(jù)點(diǎn)。更多信息，請洽SpringSoft網(wǎng)站：http://www.springsoft.com
　　Verdi、Siloti與Certitude為SpringSoft, Inc.的商標(biāo)。所有其他商標(biāo)或注冊商標(biāo)皆為各該擁有者的財(cái)產(chǎn)。