新しいスタティック/フォーマル・データモデル、データベース・アーキテクチャ、検証エンジンにより、比類なき検証精度を実現。バグをより早期に、より短時間で、より正確に特定し、迅速にルートコーズ解析を実行する次世代検証テクノロジにより、複雑なSoCの登場により増加している検証課題に対応する。先進のプロパティ・チェック機能、シーケンシャル等価性チェック機能、コネクティビティ・チェック機能、フォーマル・カバレッジ解析機能を提供する。CDCは、RTL段階のSoC全体をチェックできるクロックドメイン・クロッシング(CDC)チェック機能を提供する。Format(UPF)に基づいて最先端デザインのローパワー検証を実行する。次世代データベースと検証エンジンにより、従来比3~5倍の検証パフォーマンスと容量を実現する。氏は次のように語っている。「当社は、クラウド・コンピューティング機器やデータセンター機器、エンタープライズ・インフラ機器向けの高速イーサネット接続ソリューションで業界をリードしていますが、当社が栄誉ある賞をいただいた28nmの10GBASE-T製品にとって、ローパワー設計は非常に重大なテーマでした。当社は、シノプシス社の次世代ローパワー・スタティック・チェック・テクノロジの早期適用企業の一社です。Chatterjee氏は次のように語っている。「SoCの複雑化に伴い、設計/検証チームは自社の検証能力を強化するために、これまで以上に各種スタティック/フォーマル検証テクノロジを活用する必要に迫られています。開発者は、検証作業にあたってこれまでずっと他のツールとのコマンド体系の問題や、デバッグの問題、検証性能と検証容量の限界などに悩まされてきました。シノプシス社は、こうした従来からの多くの問題点を解決する全てのソリューションを、高性能と大容量を実現するデータモデル、新しい解析/デバッグ能力を備えた単一の環境に統合してくれました」この次世代スタティック/フォーマル検証テクノロジは、根本から新たに開発された検証技術であり、フォーマル検証、スタティック解析、シミュレーション、その他の検証技術を広範囲にわたってサポートし統合すべく開発されている。他に類を見ない各種検証技術の統合とインターオペラビリティの実現により、フォーマル検証を他のツールやテクノロジとの協調動作で実行できるため、バグをより短時間で、より正確に特定し、検証結果の誤りを削減し、迅速にルートコーズ解析を行うことができるようになる。新しいフォーマル/シミュレーション・カバレッジ・メトリクスをサポートしているため、検証終了までの見通しが向上する。新しいデータモデルとデータベース・アーキテクチャにより検証パフォーマンスと容量が大幅に向上しているため、RTL段階のSoC全体をフラットにチェックでき、既存の検証ツールやテクノロジでは特定できなかったバグを発見できる。デザインの深部に潜むCDCリコンバージェンス・バグは、SoCデザイン全体の解析を行って初めて特定できるため、非常に大きな検証容量が必要になる。この次世代スタティック/フォーマル検証テクノロジは、あらゆるタイプのCDC同期化回路構造を明確にできる非常に高い検証柔軟性を提供し、これらの構造に潜む欠陥や不完全性を解析する比類なき検証性能を発揮する。Compilerのコマンド体系を扱えるため、ツールの使用方法に短期間で習熟でき、検証テクノロジ採用時の負担となっていた設計フローへの統合にかかる労力を軽減できる。セットアップ・スクリプトを使用して、ローパワー検証やCDCスタティック検証を迅速に立ち上げることができる。次のように述べている。「当社は、今回の次世代スタティック/フォーマル検証テクノロジの開発にあたって、多数に上るお客様各社と緊密に協業して参りました。複雑なSoCの検証課題に的確に対処するには不可欠なプロセスだからです。LPは、2014年6月9日に一般提供開始を予定している。CDCは、2014年6月9日に限定顧客向けに提供開始を予定している。Compilerは、現在限定顧客向けに提供を開始しており、一般提供は2014年12月を予定している。グローバル・エレクトロニクス・マーケットでテクノロジ・イノベーションを展開している。リーディング・カンパニーとなっている。1986年の創業以来、世界中のエンジニアがシノプシスのテクノロジを使用して、何十億もの半導体やシステム機器を設計開発している。Inc.の登録商標です。その他の商標や登録商標は、それぞれの所有者の知的財産です。