ニュースリリース - 2005年2月25日

シノプシスのMagellan、IEC DesignVision Awardを受賞

先進のハイブリッド・フォーマル検証テクノロジが設計検証部門で最高の栄誉を獲得

2005年2月9日 カリフォルニア州マウンテンビュー発 - 半導体設計ツールの世界的リーダーであるシノプシス（Synopsys, Inc.、Nasdaq上場コード:SNPS）は本日、シノプシスのDiscoveryベリフィケーション・プラットフォームを構成する主要製品であるハイブリッドRTLフォーマル検証ツール Magellan が、International Engineering Consortium (IEC)が今年創設したDesignVision Awardsプログラムで受賞の栄誉を獲得したと発表した。DesignVision Awardsは、今回初めて創設された賞で、カリフォルニア州サンタクララで開催された教育交流会議および技術展示会 DesignCon会期中の2005年2月1日に発表された。DesignVision Awardsは10の異なる部門から選出された19製品に授与され、シノプシスのMagellanは、設計検証ツール部門における最高賞を受賞した。

シノプシスのハイブリッド・フォーマル検証ツール Magellanは、シノプシスのユーザーおよびIECパネリストの意見によって選出された。ユーザーは、厳しいチップ開発スケジュールや最高の設計生産性を達成するための重要な決め手として、Magellanによってコーナーケースのバグが検証サイクルの初期に迅速に発見され、設計品質が飛躍的に向上する点を評価した。

IECシニア・ディレクターであるJohn Janowiak氏は次のように述べている。「電子業界に教育の場を提供するための主導的立場にあるIECは、シノプシスのような革新的技術とサービスを備えた企業に賞を授与したことを誇りに思っています。今回の受賞企業からもわかるように、これまで電子設計および半導体産業を牽引してきたイノベーション精神は健在であり、さらに力強くなっているといえるでしょう。」

Magellanは、多くのEDA企業の参加がひしめく競争の激しい分野において、このDesignVision Awardを受賞した。IEC後援による業界の委員会は、革新性、独自性、市場への影響、顧客の利益などの項目を含む様々な基準に基づきMagellanを選定した。Magellanは、独自のハイブリッド・アーキテクチャを用いて大容量フォーマル・プロパティ検証を実現する。このアーキテクチャは、自動生成スティミュラスを制御し、デザインの奥深い内部レジスタ状態へ迅速に到達するシノプシスの総合RTL検証ソリューションVCSの高速シミュレーション・エンジンと、先進的な複数のフォーマル・エンジンとを統合している。これにより、指定されたプロパティをデザインが完全に満たしているか、もしくは発見が困難な、プロパティ違反となる奥深いコーナーケース・バグが存在するのかどうかを迅速に解析することが可能となる。Magellanは、ダイナミック検証環境で用いたアサーションを再利用して適用できるため、既存の検証フローに容易に適用することができる。アサーションは、VCS 内蔵のシノプシスのチェッカ・ライブラリや、SystemVerilogアサーション(SVA)、OpenVeraアサーション(OVA)、Verilog HDL、VHDL、Open Verification Library (OVL)を用いて記述でき、Magellanに特有の書き換え作業などを行なわずにそのまま検証が可能である。

シノプシス ベリフィケーション・グループ R&DディレクターであるBharat Kalyanpurは次のように述べている。「私たちは、Magellanの先進のバグ検出テクノロジが認められたこと、そして、IECからDesignVision Awardをいただいたことを光栄に思っています。最先端の電子システムおよび半導体企業で数々の成功を修めたMagellanは、お客様の非常に複雑なデザインにおける発見が困難なコーナーケースのバグを検出し、ファースト・シリコンでの成功を実現する手助けとなるでしょう。」

DesignVision Award プログラムについて
DesignVision Awardsは、最高の品質と革新的な知識を産業界に広めるという、60年に渡るIECの理念に基づき、電子設計および半導体業界における最先端の製品やサービスに授与される賞である。また、この賞は、IECが積極的に教育の場を提供しているもう一つの産業である、通信分野の革新的テクノロジを評価するというIECの格式ある伝統を反映したものでもある。2005年度のDesignVision Awards受賞者は、革新性、独自性、市場への影響力、顧客の利益そして社会的貢献度に基づいて決定された。

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