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