專業(yè)IC設(shè)計(jì)軟件全球供貨商SpringSoft, Inc.今天宣布，最新版本的Verdi™ Automated Debug System提供全面的SystemVerilog Testbench (SVTB)偵錯(cuò)支持。Verdi系統(tǒng)導(dǎo)入全新的以結(jié)構(gòu)化消息為基礎(chǔ)的方法，使SVTB偵錯(cuò)自動(dòng)化，讓工程師們能夠迅速理解復(fù)雜的測(cè)試平臺(tái)行為。Verdi SVTB偵錯(cuò)解決方案與SpringSoft的Novas™ 驗(yàn)證強(qiáng)化產(chǎn)品系列完善整合，讓工程師們能夠在更短時(shí)間內(nèi)完成更多驗(yàn)證工作。

　　新版的Verdi系統(tǒng)整合以消息為基礎(chǔ)的自動(dòng)化日志(logging)機(jī)制，與嶄新SVTB測(cè)試平臺(tái)消息瀏覽工具，可以搭配Verdi系統(tǒng)既有HDL偵錯(cuò)功能。這套系統(tǒng)也提供交互式仿真?zhèn)慑e(cuò)模式，可用來(lái)針對(duì)日志(logging)無(wú)法察覺(jué)的微細(xì)步驟進(jìn)行偵錯(cuò)。這些獨(dú)家功能搭配系統(tǒng)的測(cè)試平臺(tái)與設(shè)計(jì)一致化偵錯(cuò)環(huán)境可實(shí)現(xiàn)更高效率的紀(jì)錄與動(dòng)態(tài)測(cè)試平臺(tái)數(shù)據(jù)的后處理，透過(guò)減少交互式偵錯(cuò)的需求而節(jié)省寶貴的驗(yàn)證時(shí)間。

　　「SVTB提供高水平、類似軟件的驗(yàn)證作法?！?a class="contentlabel" href="http://www.biyoush.com/news/listbylabel/label/SpringSoft">SpringSoft產(chǎn)品營(yíng)銷副總裁Oz Levia表示：「Verdi提供獨(dú)家的結(jié)構(gòu)化做法，使SVTB偵錯(cuò)工作自動(dòng)化，針對(duì)測(cè)試平臺(tái)驗(yàn)證的抽象和動(dòng)態(tài)本質(zhì)。由于深入透視與設(shè)計(jì)端息息相關(guān)而且復(fù)雜的測(cè)試平臺(tái)行為，工程師們將可看到整個(gè)設(shè)計(jì)與驗(yàn)證環(huán)境中發(fā)生的狀況。」

　　先進(jìn)的SVTB偵錯(cuò)

　　Verdi系統(tǒng)提供完整的SVTB原始碼支持與來(lái)自設(shè)計(jì)和測(cè)試平臺(tái)的數(shù)據(jù)緊密同步。Verdi系統(tǒng)會(huì)自動(dòng)記錄測(cè)試平臺(tái)消息與數(shù)據(jù)到由SpringSoft提供并已可視為業(yè)界標(biāo)準(zhǔn)的Fast Signal Database (FSDB);如此可以獨(dú)立于設(shè)計(jì)數(shù)據(jù) (如信號(hào)數(shù)值變化與斷言狀態(tài))之外進(jìn)行更高階的測(cè)試平臺(tái)活動(dòng)檢視，呈現(xiàn)整個(gè)環(huán)境行為的完整視野。

　　嶄新而且方便好用的類(class)與函式瀏覽器支持測(cè)試平臺(tái)消息編碼類型。這些專用的測(cè)試平臺(tái)瀏覽器(Testbench Browsers)讓工程師們能夠?qū)VTB結(jié)構(gòu)與仿真結(jié)果具體化，在測(cè)試平臺(tái)模塊的階層結(jié)構(gòu)中輕松地遨游，并自動(dòng)連結(jié)到原始碼以便了解復(fù)雜的測(cè)試平臺(tái)程序，進(jìn)而找出問(wèn)題的根源。

　　此外，這套系統(tǒng)密切整合自動(dòng)化紀(jì)錄機(jī)制與互動(dòng)仿真模式，并可搭配多種業(yè)界常用的第三方模擬工具。這樣可讓工程師們能夠針對(duì)特定仿真時(shí)間與設(shè)計(jì)模塊，執(zhí)行更精細(xì)的測(cè)試平臺(tái)行為分析。