ニュースリリース - 2005年9月26日

シノプシス、検証時間を最大1/5に短縮するVCSベリフィケーション・ライブラリを発表

先進の検証メソドロジや検証ツール群と組み合わせることにより、高性能な統合検証環境を構築する検証用IP群

2005年9月26日 カリフォルニア州マウンテンビュー発 - 半導体設計ツールの世界的リーダーであるシノプシス（Synopsys, Inc.、Nasdaq上場コード:SNPS）は本日、設計で実証された、標準規格準拠の検証用IP（VIP）であるVCSベリフィケーション・ライブラリの一般リリースを発表した。VCSベリフィケーション・ライブラリは、業界で実績のあるDesignWareベリフィケーションIP上に構築されており、シノプシスの包括的なRTL検証ソリューションであるVCSやSystemVerilog対応テストベンチ自動生成ツールPioneer-NTBと共に使用することにより、検証エンジニアは検証実行時間を最大1/5に短縮することができる。

VCSベリフィケーション・ライブラリは、10,000以上のメモリ・モデルの他に、AMBA(TM) 3 AXI(TM)、AMBA 2.0、PCI Express(R)、USB、Serial ATA、そして10Gイーサーネットといった業界で最も広く使用されているバス・プロトコル向けの検証用IPを提供している。検証用IPには、トラフィック・ジェネレータやバス・プロトコルの機能カバレッジの提供やプロトコル違反の特定のためのモニターが含まれる。

VCSベリフィケーション・ライブラリは、検証専門エンジニアによって開発されたシノプシスのリファレンス・ベリフィケーション・メソドロジ（RVM）もサポートしており、検証エンジニアはライブラリ相互の組み合わせや再利用が可能な検証環境を構築できる業界最高レベルの検証実例を活用することができる。RVMは、業界標準のSystemVerilogやハードウェア検証言語OpenVeraのサポートと共に、カバレッジ・ドリブンや制約条件付きランダム・テクニックを使用している。

VCSベリフィケーション・ライブラリは、VCSベリフィケーション・ライブラリIP、テストベンチ、アサーション、そしてテストを考慮したデザインを、一緒に、ひとつの高性能な実行フローでコンパイルするVCSネイティブ・テストベンチ（NTB）テクノロジによってサポートされている。これらのテクノロジをネイティブに統合することにより、検証性能が最大5倍に向上し、検証エンジニアは検証期間の短縮を達成することができる。

Tundra Semiconductor Corporation検証ディレクタRandy Mullin氏は、次のように述べている。「シノプシスの検証用IPを使用することにより、高い機能カバレッジや、コーナー・ケース・デザイン・バグの特定を実現できる制約条件付きランダム・テストベンチ環境の開発を迅速化することができました。VCS NTBは、我々の検証プロセスにおいて不可欠です。」

シノプシス　ソリューション・グループのマーケティング副社長のGuri Starkは次のように述べている。「SoC設計における標準インターフェイスの数や複雑さが増し続けるにつれて、検証エンジニアは莫大な数の検証課題に直面しています。シノプシスは、テストベンチ生成を簡略化し、より優れたカバレッジを提供し、より高度な検証性能を実現する製品の提供により、これらの課題解決への道を開きます。」

提供時期について
VCSベリフィケーション・ライブラリは、現在出荷中。DesignWare検証用IPをお使いの既存のお客様は、シノプシスのウェブサイトから最新バージョンをダウンロードすることにより、追加コストなしでこの新機能を入手可能。

VCSベリフィケーション・ライブラリについて
VCSベリフィケーション・ライブラリは、広範囲に渡る、設計で実証された、標準規格準拠の検証用IP（VIP）群を提供している。これにより、検証エンジニアはテストベンチ開発時間を短縮し、機能カバレッジ目標をより速く達成することができる。VCSベリフィケーション・ライブラリは、ブロック・レベルおよびチップ・レベルの検証向けの先進機能を提供しており、シノプシスのDiscoveryベリフィケーション・プラットフォームの中核である。VCSベリフィケーション・ライブラリは、Verilog、SystemVerilog、OpenVera、VHDLテストベンチをサポートしている。また、すべての広く使用されているシミュレータをサポートしており、VCSやPioneer-NTBツールと共に使用した場合は、検証実行時間を最大1/5に短縮する。VCSベリフィケーション・ライブラリは、PCI Express、PCI-X(R)、PCI、USB 1.1/2.0/OTG、AMBA 2.0、AMBA 3 AXI、10/100/1G/10Gイーサーネット、 I2C、 SATA,、Serial I/O標準プロトコル、そして10,000以上のメモリ・モデルを提供している。VCSベリフィケーション・ライブラリについての詳細は、https://www.synopsys.com/verification.htmlより入手可能。

シノプシスについて
Synopsys, Inc. は、IC設計向け電子設計自動化ソフトウェア（EDAツール）の世界的リーダである。複雑なシステムオンチップ開発を実現する、最先端技術を用いたIC設計プラットフォームと検証プラットフォーム、および製造ソフトウェアを世界中のエレクトロニクス市場向けに提供している。また、顧客の設計プロセスを簡素化し、その製品開発期間を短縮するために、設計資産（IP）やデザイン・コンサルティング・サービスを提供している。カリフォルニア州マウンテンビューに本社を置き、事業所は北米、ヨーロッパ、日本、アジアなど60ヶ所。詳細な情報は、http://www.synopsys.co.jp より入手可能。