?? 專業(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ò)模式，可用來針對(duì)日志(logging)無法察覺的微細(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ù)的后處理，透過減少交互式偵錯(cuò)的需求而節(jié)省寶貴的驗(yàn)證時(shí)間。
? “SVTB提供高水平、類似軟件的驗(yàn)證作法。”SpringSoft產(chǎn)品營銷副總裁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原始碼支持與來自設(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)而找出問題的根源。
?? 此外，這套系統(tǒng)密切整合自動(dòng)化紀(jì)錄機(jī)制與互動(dòng)仿真模式，并可搭配多種業(yè)界常用的第三方模擬工具。這樣可讓工程師們能夠針對(duì)特定仿真時(shí)間與設(shè)計(jì)模塊，執(zhí)行更精細(xì)的測(cè)試平臺(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ì)。