図1　Mentor Graphics CEOのWalley Rhines��

最�ZはSoC（システムLSI）がマルチコア、ヘテロプロセッサ、さらにはキャッシュコヒーレンシも求められるような複雑なシステムになっている。しかもSoCはソフトウエアを�O身の中に組み込むようになってきており、ハードとソフトそれぞれの検証が��要になってきた。ソフトウエアはモデル化してシミュレーションで、ハードウエアはエミュレーションで設��通りに作られているかどうかをチェックする。シミュレーションのコードはここ数�Qの�Pびはゆっくりだが、エミュレーションにかかる�J��は2010�Qから2020�Qまでに39%�\というペースで���\している。ソフトだけのシミュレーションでは間に合わないからである。

さらにSoCの機�Δ鮖\やすために微細化も��要で、22/20nmないし16/14nmの時代にはソフトウエア開発時間が�\える(図2)。このため、高�]にシミュレーションするためのアクセラレータと、インサーキットエミュレータ機�Δ魴eつVeloce（ベローチェと発音）エミュレータをMentorは開発してきた。しかも�x場へ出すまでの期間Time-to-marketが�]くなってきているため、ハードウエアが完成してからソフトウエアを開発する�lにはいかない。RTLができたらすぐにハードウエア機�Δ鬟┘潺絅譟璽箸靴謄愁侫肇Ε┘�開発に進まなければならない。このためのエミュレータがもはや�L(f┘ng)かせなくなっている。

図2　微細化と共にソフト開発工数もうなぎのぼりに�\える　出�Z：Mentor Graphics, IBS

Mentorが提案するVerification 3.0時代の最初の����として、企業向けの検証プラットフォームEVP（Enterprise Verification Platform）をリリースした。同社の検証システムQuestaと、��3世代のOS（Operating System）であるVeloce OS3エミュレーションシステム、デバッグを可��化するVisualizerを統合したもの(図3)である。ユーザーは世�c中からクラウドベースでこの検証プラットフォームにアクセスできるため、グローバルな設�����U(ku┛)を�eっている企業に向く。「例えば世�c�Q地に拠点を�eつIntelなら、サンタクララからでもアリゾナからでもアイルランドからでもアクセスできるから設��の効率が�屬�る」とDVT担当バイスプレジデントのJohn Lenyo��は述べる。

図3　新しい設��統合プラットフォームEVP　出�Z：Mentor Graphics

中でも新しいVeloce OS3には��つの��長がある。�kつは、ソフトウエアシミュレーションのようにエミュレーションできる。��に低消�J電��化のためにアプリケーションプロセッサ内�陲任蓮�動作している�v路とスリープ�X��の�v路とが絶えず発�擇垢襪燭瓠△修譴鮃洋犬靴討い襦�また機�Δ鬟�バーするSystemVerilogに加え、新しいLSI設��言語であるUVMやC/C++もサポートする。2番�`の��長では、ハードウエアの周辺�v路を�{加せずに、仮�[的な周辺�v路に��き換えている。もちろんPCIeやEthernet、USBなどの�Y��的なインターフェースは専��のハードはもはや要らない。そして、バーチャルな��つめは、データセンター向けに工夫し、ネットワーク�屬里匹海�らでもVeloceを走らせることができることだ。複数のユーザーと共�~できる。

Questaが�eつシミュレーションプログラムの内、できるだけエミュレーションできるようにテストベンチの再�W(w┌ng)��を進めてVeloce OS3でエミュレーションできるように�T��し、シミュレーション時間を�]縮する。��来のようにシミュレーションだけの場合よりも1000倍以�峭��]に検証できるとしている。すでにSTMicroelectronicsが使っているという。MentorはさらにVerification IPも提供する。これはQuestaとVeloceをサポートしており、�／△靴笋垢�テスト環境の再�W(w┌ng)��もできる。

Mentorは、クラウドベースの設��検証ツールを�啣修垢襪燭瓩法▲如璽織札鵐拭爾縫┘潺絅譟璽轡腑鵑肇轡潺絅譟璽轡腑鵑鮃圓Δ燭瓩慮‐撻廛薀奪肇侫�ームを設��している（図4）。ユーザーは遠��(sh┫)からインターネット経�y(t┓ng)でこのデータセンターにアクセスし、検証作業を行うことができる。図4のコンピュータシステムに何��も差し込んである、コンピュータボードのCPUは�O社で設��開発したものだという。

図4　Verificationプラットフォームを設��したMentorのデータセンター

開発した検証プラットフォームEVPを使ったクラウド設��検証サービスは2014�Q6月から開始する。すでに�J�Tのエミュレータを�P(gu─n)入したユーザー企業に�瓦靴討蓮▲▲奪廛哀譟璽疋機璽咼垢��官�するとしている。