全球電子設(shè)計(jì)自動(dòng)化軟件工具（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)級(jí)設(shè)計(jì)與驗(yàn)證技術(shù)部主管Kazunobu Morimoto表示：“我們?cè)谛乱淮冗M(jìn)SoC驗(yàn)證環(huán)境中，選用了VCS®、SystemVerilog和VMM方法集。在VCS®解決方案中，SystemVerilog和VMM方法集的應(yīng)用和部署都非常簡(jiǎn)便，將會(huì)極大地提高我們?cè)赟uperHyway總線SoC設(shè)計(jì)中的驗(yàn)證效率?！?nbsp;

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

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

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