Compilerを発表した。Compilerは、デバッグ、スタティック/フォーマル検証、シミュレーション、検証用IP(VIP)、カバレッジ解析などの次世代検証テクノロジを統合した完全なソリューションである。このテクノロジ統合により、パフォーマンスは5倍に向上しデバッグ効率も大幅に改善、SoC検証チームは、完全な機能検証フローを単一ツールで構築できるようになる。次世代検証テクノロジと統合フロー、コンカレント検証ライセンス・モデルにより検証生産性は3倍向上し、SoC開発期間短縮の課題に対応する。Alben氏は次のように語っている。「検証の複雑性は、ムーアの法則よりも速いペースで進んでいます。この問題を解決するには、スタティック/フォーマル検証のような次世代検証テクノロジが必要なだけでなく、様々な検証テクノロジへの個別投資を抑制するためにテクノロジ統合フローが必要です。Jain氏は次のように語っている。Compilerは、検証に新しいビジョンを提言しています。我々は、今まさに曲がり角に立っており、解決策は新しいテクノロジやその統合だけからもたらされるのではなく、SoC検証フローの中で必要とされるあらゆるテクノロジに柔軟にアクセスできるライセンス・モデルも重要です。Garibay氏は次のように語っている。「当社が提供しているSoCは、業界で最も集積度の高いヘテロジニアス・コンピューティング・プラットフォームのひとつであり、マルチコアARMプロセッサ・システム、浮動小数点DSPブロック、広帯域I/O、高性能プログラマブル・ロジックなどが一つのダイ上に集積されています。Tri-Gateプロセスでの第三世代64bitアーキテクチャに移行するためには、各種の設計/検証ツールがシームレスに使用できる必要があります。RTL、UVM、組込みソフトウェアといった領域にまたがってシミュレーションとデバッグを行うことができ、コンパイラやデバッグ環境が統一されていることが必要なのです。Compilerは、当社の設計生産性を大幅に向上させる重要なステップです」SoC検証に必要となる最先端テクノロジモバイル機器や"Internet-of-Things"に象徴されるようにエレクトロニクス機器は急激に発展しており、最先端SoCの開発現場は、これまでとは比べ物にならない検証複雑性の増大、更に厳しいエネルギー効率の達成、ソフトウェア・コンテンツの増大、益々高まる開発期間短縮のプレッシャーといった課題に直面している。したSoCの検証を成功させるには、デバッグ、スタティック/フォーマル検証、ローパワー検証、検証用IP、カバレッジ解析などの広範囲にわたる検証テクノロジが不可欠となる。CDCチェック、X値伝播シミュレーション、ネイティブ・ローパワー・シミュレーション、最先端検証プランニング・マネージメントといった次世代の検証テクノロジを包括的に搭載している。最先端デバッグと高速シミュレーションのためのテストスイートも含めたシノプシスの次世代検証用IPも搭載されている。Compilerは、SoC設計/検証チームが、SoC検証の前に立ちふさがる技術的な壁や開発期間の難題を乗り越えることを可能にする。Compilerは、次世代のスタティック/フォーマル検証テクノロジにより、複雑なSoC検証が提起するキャパシティの問題に対処する。スタティック/フォーマル検証テクノロジは、他の検証テクノロジに比べて3~5倍の実行性能とキャパシティを提供する。このスタティック/フォーマル検証テクノロジは、フォーマル・プロパティ・チェック、ローパワー・スタティック・チェック、CDCチェック、SoCコネクティビティ・チェック、リント・チェック、シーケンシャル等価性チェックといた機能を提供する。Compilerとユース・モデルやフローの上で完全に互換性を保っている。Compilerのデバッグ機能は、業界標準のデバッグ・プラットフォームとなっているシノプシスのVerdi3のテクノロジをベースに構築されている。Compilerは、デバッグ効率を高める多くの革新的な機能からなるVerdi3の最新のデバッグ・テクノロジを用いている。Debugなどがあり、全ての機能を、一貫性のある使い易い統合デバッグ環境で使用できる。Compilerのシミュレーション、検証用IP、フォーマル検証、カバレッジ解析テクノロジとこれらの最先端デバッグ機能との緊密な統合により、さらなるデバッグ効率の向上がもたらされる。シノプシスのVerdi3は、今後もスタンドアロン製品として販売を継続する。Apps)を通じて他社の検証フローとの統合も可能なオープン・プラットフォームだからである。Verdi3は、市販の主要なシミュレータ、エミュレータ、フォーマル検証ツールの完全サポートを今後も継続する。今日のSoC検証プロジェクトは、地理的に離れた複数の検証チームが、様々な検証テクノロジを同時並行で用いて遂行している。検証フローの特定の段階では特定の検証テクノロジに使用が集中する。したことが、検証生産性やコスト、開発期間の足かせになっている。Compilerは、3種の独立したコンカレントなライセンス・キーを用意している。ひとつで全てのスタティック/フォーマル検証テクノロジを使用できるキー、ひとつで全てのシミュレーション関連テクノロジ(全ての検証用IPを含む)を使用できるキー、ひとつで全てのデバッグ・テクノロジを使用できるキーである。これらの3種類のキーは、一人のユーザーが、自身の生産性を上げるために、コンカレントに使用することができるし、同じ社内の別ユーザーが個別に使用することもできる。した柔軟性により、検証チームは、複数の異なる検証タスクを同時に実行し、検証効率を格段に向上させることが可能になる。Gandhiは、次のように述べている。「我々は長年にわたり、複雑な検証課題の克服のために多くのお客様と緊密な協業を重ねてまいりました。Compilerはそれらを一つのツール上に統合し、比類なき性能/キャパシティ/生産性を実現することによって検証テクノロジを新たな次元に引き上げました。Compilerは、現在限定顧客向けに提供を開始している。一般提供は、2014年12月を予定している。グローバル・エレクトロニクス・マーケットでテクノロジ・イノベーションを展開している。リーディング・カンパニーとなっている。1986年の創業以来、世界中のエンジニアがシノプシスのテクノロジを使用して、何十億もの半導体やシステム機器を設計開発している。詳細な情報は、http://www.synopsys.co.jpより入手可能。Inc.の登録商標です。その他の商標や登録商標は、それぞれの所有者の知的財産です。