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

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)銷部門處長(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更迅速。」

更完善的技術(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)基本上在所有撰寫測(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)支持。

關(guān)于SpringSoft

SpringSoft為提供全球?qū)�業(yè)自動(dòng)化技術(shù)之領(lǐng)導(dǎo)廠商，所提供產(chǎn)品能加速工程師對(duì)于復(fù)雜的數(shù)字、邏輯、混合信號(hào)集成電路 (ICs)、特殊應(yīng)用集成電路 (ASICs)、微處理器、及系統(tǒng)單芯片 (SoCs) 之設(shè)計(jì)、驗(yàn)證及偵錯(cuò)。其獲獎(jiǎng)無(wú)數(shù)的產(chǎn)品包括有Novas驗(yàn)證強(qiáng)化和 Laker 定制IC 設(shè)計(jì)解決方案，已有超過(guò)400個(gè)整合組件制造(IDM)、無(wú)晶圓廠半導(dǎo)體公司、晶圓代工廠、及電子系統(tǒng)代工 (OEMs) 領(lǐng)導(dǎo)廠商使用。總部設(shè)在臺(tái)灣新竹及美國(guó)加州圣荷西，SpringSoft為亞洲較大且第一家掛牌上市之電子設(shè)計(jì)自動(dòng)化廠商，并且以客戶服務(wù)在業(yè)界著稱，其400多位員工分布于世界各地?cái)?shù)個(gè)研發(fā)及技術(shù)服務(wù)據(jù)點(diǎn)。更多信息，請(qǐng)洽SpringSoft網(wǎng)站：http://www.springsoft.com

相關(guān)閱讀:

• ...2015/06/23 17:54·ECSpressCON™時(shí)鐘振蕩器系列 加快亞太地區(qū)電子制造商的上市速度
• ...2015/06/18 11:07·ECSpressCON™時(shí)鐘振蕩器系列 加快亞太地區(qū)電子制造商的上市速度
• ...2015/02/27 16:32·慧榮科技推出Osprey可視化物聯(lián)網(wǎng)平臺(tái)
• ...2015/01/15 13:16·大聯(lián)大世平集團(tuán)推出基于 Intel、Rockchip、Spreadtrum產(chǎn)品的平板電腦解決方案
• ...2014/10/30 20:10·ECS Inc. International在德國(guó)慕尼黑電子展上展示 世界領(lǐng)先的ECSpressCON™時(shí)鐘器件
• ...2014/09/10 10:27·德州儀器DLP®技術(shù)幫助中興Sprint LivePro成為全球首款智能投影儀