全球電子設(shè)計自動化軟件工具（EDA）領(lǐng)導(dǎo)廠商Synopsys近日宣布，全瑞薩科技采用其VCS®的功能驗(yàn)證解決方案，開發(fā)復(fù)雜的芯片上系統(tǒng)（SoC），并選定了VMM方法集，即《Verification Methodology Manual (VMM) for SystemVerilog》，用于創(chuàng)建先進(jìn)的SoC驗(yàn)證環(huán)境。瑞薩科技采用VCS®解決方案和VMM方法論驗(yàn)證了其重要的SuperHyway總線片上互連架構(gòu)。 

    瑞薩科技系統(tǒng)級設(shè)計與驗(yàn)證技術(shù)部主管Kazunobu Morimoto表示：“我們在新一代先進(jìn)SoC驗(yàn)證環(huán)境中，選用了VCS®、SystemVerilog和VMM方法集。在VCS®解決方案中，SystemVerilog和VMM方法集的應(yīng)用和部署都非常簡便，將會極大地提高我們在SuperHyway總線SoC設(shè)計中的驗(yàn)證效率。” 

    SuperHyway總線是符合VSIA/VCI規(guī)范的片上互連架構(gòu)的設(shè)計，為開發(fā)人員提供可擴(kuò)展的高帶寬、低延遲的互聯(lián)。瑞薩需要提高 SuperHyway總線驗(yàn)證環(huán)境的生產(chǎn)效率和可預(yù)測性，以及時滿足對新系統(tǒng)組件不斷增長的需要。新環(huán)境要能夠復(fù)用既有驗(yàn)證程序，能夠通過覆蓋率驗(yàn)證功能實(shí)現(xiàn)詳細(xì)的驗(yàn)證過程跟蹤，并允許方便的增加、修改和維護(hù)。 

    瑞薩科技的工程師們在9個月的時間里，掌握了SystemVerilog語言和VMM方法集，并為在VCS解決方案中運(yùn)行的SuperHyway總線，搭建了完善的驗(yàn)證環(huán)境。該環(huán)境的主要組件包括基于斷言的協(xié)議檢查器、交易檢查器和記分板（Scoreboard）、交易級主/從模型、覆蓋測試描述和一個與既有測試程序接口。所有組件均采用SystemVerilog構(gòu)建，并遵循VMM方法論。這使得瑞薩科技受益匪淺，提高了驗(yàn)證生產(chǎn)效率，如交易級測試建模、約束條件隨機(jī)驗(yàn)證（constrained-random）、覆蓋驅(qū)動驗(yàn)證，以及可方便復(fù)用既有的驗(yàn)證程序。此外，與原有環(huán)境相比，新環(huán)境的驗(yàn)證代碼庫縮小了三分之一，同時得益于VMM方法清晰、分層的架構(gòu)體系，驗(yàn)證代碼庫更便于維護(hù)和為新項(xiàng)目進(jìn)行擴(kuò)展。 

    SuperHyway公司驗(yàn)證事業(yè)群營銷副總裁George Zafiropoulos表示：“瑞薩科技的應(yīng)用表明，SystemVerilog和VMM方法可以極大地提高驗(yàn)證效率，而且易于應(yīng)用和部署。VCS®解決方案對SystemVerilog和VMM方法的出色支持，使之成為那些努力提高驗(yàn)證效率和可預(yù)測性水平的公司的最佳選擇?！?