SpringSoft為SVTB偵錯(cuò)與分析導(dǎo)入結(jié)構(gòu)化方法

　　專業(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ò)自動化，讓工程師們能夠迅速理解復(fù)雜的測試平臺行為。Verdi SVTB偵錯(cuò)解決方案與SpringSoft的Novas™ 驗(yàn)證強(qiáng)化產(chǎn)品系列完善整合，讓工程師們能夠在更短時(shí)間內(nèi)完成更多驗(yàn)證工作。

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

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

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

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

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

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