?? 專業(yè)IC設(shè)計軟件全球供貨商SpringSoft, Inc.今天宣布，最新版本的Verdi Automated Debug System提供全面的SystemVerilog Testbench (SVTB)偵錯支持。Verdi系統(tǒng)導(dǎo)入全新的以結(jié)構(gòu)化消息為基礎(chǔ)的方法，使SVTB偵錯自動化，讓工程師們能夠迅速理解復(fù)雜的測試平臺行為。Verdi SVTB偵錯解決方案與SpringSoft的Novas驗證強化產(chǎn)品系列完善整合，讓工程師們能夠在更短時間內(nèi)完成更多驗證工作。
?
?? 新版的Verdi系統(tǒng)整合以消息為基礎(chǔ)的自動化日志(logging)機制，與嶄新SVTB測試平臺消息瀏覽工具，可以搭配Verdi系統(tǒng)既有HDL偵錯功能。這套系統(tǒng)也提供交互式仿真?zhèn)慑e模式，可用來針對日志(logging)無法察覺的微細步驟進行偵錯。這些獨家功能搭配系統(tǒng)的測試平臺與設(shè)計一致化偵錯環(huán)境可實現(xiàn)更高效率的紀錄與動態(tài)測試平臺數(shù)據(jù)的后處理，透過減少交互式偵錯的需求而節(jié)省寶貴的驗證時間。
? “SVTB提供高水平、類似軟件的驗證作法。”SpringSoft產(chǎn)品營銷副總裁Oz Levia表示：“Verdi提供獨家的結(jié)構(gòu)化做法，使SVTB偵錯工作自動化，針對測試平臺驗證的抽象和動態(tài)本質(zhì)。由于深入透視與設(shè)計端息息相關(guān)而且復(fù)雜的測試平臺行為，工程師們將可看到整個設(shè)計與驗證環(huán)境中發(fā)生的狀況。”
先進的SVTB偵錯
??? Verdi系統(tǒng)提供完整的SVTB原始碼支持與來自設(shè)計和測試平臺的數(shù)據(jù)緊密同步。Verdi系統(tǒng)會自動記錄測試平臺消息與數(shù)據(jù)到由SpringSoft提供并已可視為業(yè)界標準的Fast Signal Database (FSDB)；如此可以獨立于設(shè)計數(shù)據(jù) (如信號數(shù)值變化與斷言狀態(tài))之外進行更高階的測試平臺活動檢視，呈現(xiàn)整個環(huán)境行為的完整視野。
?? 嶄新而且方便好用的類(class)與函式瀏覽器支持測試平臺消息編碼類型。這些專用的測試平臺瀏覽器(Testbench Browsers)讓工程師們能夠?qū)VTB結(jié)構(gòu)與仿真結(jié)果具體化，在測試平臺模塊的階層結(jié)構(gòu)中輕松地遨游，并自動連結(jié)到原始碼以便了解復(fù)雜的測試平臺程序，進而找出問題的根源。
?? 此外，這套系統(tǒng)密切整合自動化紀錄機制與互動仿真模式，并可搭配多種業(yè)界常用的第三方模擬工具。這樣可讓工程師們能夠針對特定仿真時間與設(shè)計模塊，執(zhí)行更精細的測試平臺行為分析。
驗證強化
?? Verdi Automated Debug、Siloti Visibility Automation與Certitude Functional Qualification解決方案搭配第三方仿真器，運用業(yè)界標準語言和接口，更輕松地理解和更正設(shè)計行為，改善驗證環(huán)境的質(zhì)量，也讓工程師們能夠更有信心地、更快速達成功能收斂，實現(xiàn)更佳的系統(tǒng)單芯片(system-on-chip)設(shè)計。