全球電子設(shè)計(jì)自動化軟件工具（EDA）領(lǐng)導(dǎo)廠商Synopsys（Nasdaq: SNPS）近日宣布，全球領(lǐng)先的移動、汽車和PC/音頻視頻半導(dǎo)體系統(tǒng)解決方案供應(yīng)商—瑞薩科技采用其VCS?墓δ苧櫓そ餼齜槳福??⒏叢擁男酒?舷低常⊿oC），并選定了VMM方法集，即《Verification Methodology Manual (VMM) for SystemVerilog》，用于創(chuàng)建先進(jìn)的SoC驗(yàn)證環(huán)境。瑞薩科技采用VCS?餼齜槳負(fù)蚔MM方法論驗(yàn)證了其重要的SuperHyway總線片上互連架構(gòu)。
      瑞薩科技系統(tǒng)級設(shè)計(jì)與驗(yàn)證技術(shù)部主管Kazunobu Morimoto表示：“我們在新一代先進(jìn)SoC驗(yàn)證環(huán)境中，選用了VCS??ystemVerilog和VMM方法集。在VCS?餼齜槳鋼?，SystemVerilog和VMM方法集的應(yīng)用和部署都非常簡便，將會極大地提高我們在SuperHyway總線SoC設(shè)計(jì)中的驗(yàn)證效率。”

采用VCS和VMM方法集提高生產(chǎn)效率
      SuperHyway 總線是符合VSIA/VCI規(guī)范的片上互連架構(gòu)的設(shè)計(jì)，為開發(fā)人員提供可擴(kuò)展的高帶寬、低延遲的互聯(lián)。瑞薩需要提高 SuperHyway總線驗(yàn)證環(huán)境的生產(chǎn)效率和可預(yù)測性，以及時(shí)滿足對新系統(tǒng)組件不斷增長的需要。新環(huán)境要能夠復(fù)用既有驗(yàn)證程序，能夠通過覆蓋率驗(yàn)證功能實(shí)現(xiàn)詳細(xì)的驗(yàn)證過程跟蹤，并允許方便的增加、修改和維護(hù)。
      瑞薩科技的工程師們在9個(gè)月的時(shí)間里，掌握了SystemVerilog語言和VMM方法集，并為在VCS解決方案中運(yùn)行的SuperHyway總線，搭建了完善的驗(yàn)證環(huán)境。該環(huán)境的主要組件包括基于斷言的協(xié)議檢查器、交易檢查器和記分板（Scoreboard）、交易級主/從模型、覆蓋測試描述和一個(gè)與既有測試程序接口。所有組件均采用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)證代碼庫縮小了三分之一，同時(shí)得益于VMM方法清晰、分層的架構(gòu)體系，驗(yàn)證代碼庫更便于維護(hù)和為新項(xiàng)目進(jìn)行擴(kuò)展。
      Synopsys公司驗(yàn)證事業(yè)群營銷副總裁George Zafiropoulos表示：“瑞薩科技的應(yīng)用表明，SystemVerilog和VMM方法可以極大地提高驗(yàn)證效率，而且易于應(yīng)用和部署。VCS?餼齜槳付許ystemVerilog和VMM方法的出色支持，使之成為那些努力提高驗(yàn)證效率和可預(yù)測性水平的公司的最佳選擇?！?/FONT>