LSIの設計検証をテーマにしたセミナー「Verify 2012」が2012年9月28日に新横浜で開催された。EDAツールの最新情報やユーザー事例など、合計で10の講演があった。聴講できた3件のユーザー事例の講演を紹介する。
3件は、リコーによる「仮想プラットフォーム」に関する講演、ルネサス エレクトロニクスによる「形式検証ツールを使ったMCU検証」に関する講演、富士通マイクロソリューションズによる「SystemVerilogを活用した検証」に関する講演である（図1）。このほかに、富士通九州ネットワークテクノロジーズによる「UVMと論理エミュレータを活用した検証」に関する講演、中央大学 教授の竹内健氏による基調講演と、EDAベンダー側の4講演があった。
OSブートの先を狙う
リコーから講師として登壇したのは、難波 睦氏（コントローラ開発本部 CH開発センター EPF開発室 開発１グループ スペシャリスト）である。同氏は、同社における仮想プラットフォーム（同社では「実機レス環境」と呼んでいる）の歴史や現状、課題などを紹介した。2000年ごろからOA機器やそれ向けのLSIの開発に仮想プラットフォームを利用してきた。その間、複数のEDAベンダーの製品を仮想プラットフォームの開発や運用に適用してきたが、現在は、米Synopsys社の「Virtualizer」を主に使っている。
このVirtualizerを使う仮想プラットフォームでは、OSのブートのチェックやデバイス・ドライバの開発などに適用している。次は、OSのブートの先、すなわち例えばコピー機ならば、「υコピーできます」が表示されるまで、仮想プラットフォームで検証したいという（図2）。その際の課題は、モデル開発工数の増大である。OSブートまでならば、コントローラの一部だけをモデル化すれば良いが、「υコピーできます」までとなると、コントローラはほぼ全部、機構の駆動部（同社は「エンジン」と呼ぶ）や周辺デバイスの一部をモデル化する必要があるからだ。
