米ケイデンス、エンタープライズ・システム・レベル（ＥＳＬ）の検証ソリューションを発表
Ｅｎｔｅｒｐｒｉｓｅ Ｓｙｓｔｅｍ Ｌｅｖｅｌ Ｖｅｒｉｆｉｃａｔｉｏｎ Ｓｏｌｕｔｉｏｎ
ケイデンスのエンタープライズ・システム・レベルの検証ソリューションが、
予測可能なソフトウェア、ハードウェア、およびシステムの品質を実現
自動化された組み込みソフトウェアの検証、システム全体の管理、
そして新しい高性能エンジンを多様なスペシャリスト向けに統合
電子設計のイノベーションで世界をリードするケイデンス・デザイン・システムズ社（本社：米国カリフォルニア州サンノゼ市、社長兼ＣＥＯ：Ｍｉｃｈａｅｌ Ｊ．Ｆｉｓｔｅｒ（マイケル・Ｊ・フィスター）、日本法人本社：神奈川県横浜市、社長：川島良一、以下ケイデンス）は、１２月４日（米国現地時間）、ハードウェア、組み込みソフトウェアおよびシステム・レベルの検証を自動化し、システム全体の管理や新しい高性能エンジンと統合した、業界初のエンタープライズ・システム・レベル（ＥＳＬ）の検証ソリューションを発表しました。
ケイデンスのＩｎｃｉｓｉｖｅ(Ｒ) Ｐｌａｎ－ｔｏ－Ｃｌｏｓｕｒｅ Ｍｅｔｈｏｄｏｌｏｇｙと統合されたこのソリューションは、システム設計者とＣレベルのツールのみを主要な対象としていた従来のエレクトロニック・システム・レベルの手法を、エンタープライズ・レベル全体へと拡張し、実行可能なプランからシステム・レベルの収束までを可能にします。このソリューションにより、抽象的なシステム・レベル・モデルや検証プランからシステム内のＩＰ検証、システムの統合と実証、そして収束に至るまでの設計と検証を行う上で、設計機能の全てにわたって、システムの要求事項が実現されていることを確認できるようになります。
その結果、予測可能なシステム・レベルの品質を実現し、設計の大部分が組み込みソフトウェアで、ハードウェアとソフトウェアの相互作用の検証が大きな課題である家電、ネットワーク、およびワイヤレス機器向けの複雑なシステム・オン・チップ（ＳｏＣ）の市場投入期間を５０％短縮します。
ケイデンスのＥＳＬ検証ソリューションは、エンタープライズ・レベル全体をカバーする３つの新しいシステム・レベルの革新的技術によって構成されています。
．自動化されたハードウェア、組み込みソフトウェア、およびシステム・レベルの検証
先端のハードウェア検証で実証済みの手法を、組み込みソフトウェア、そしてシステム・レベルの検証にまでに適用。
．システム全体の管理
実証済みのハードウェア・プランとメトリック・ドリブンの検証管理を、組み込みソフトウェアとシステム・レベルの検証にまで拡張。
．高性能エンジン
システム全体の管理およびハードウェア・ソフトウェア自動化環境から、新しいより高性能なエミュレーションおよびＳｙｓｔｅｍＣのシミュレーション・モデルへのアクセスが可能。
これらの３つの新しいシステム・レベルの革新は、ＥＳＬオプション機能を持つＩｎｃｉｓｉｖｅＥｎｔｅｒｐｒｉｓｅ Ｓｉｍｕｌａｔｏｒ、Ｉｎｃｉｓｉｖｅ Ｅｎｔｅｒｐｒｉｓｅ Ｍａｎａｇｅｒ、次世代のＩｎｃｉｓｉｖｅ ＰａｌｌａｄｉｕｍＲ ＩＩＩアクセラレータ・エミュレータ、およびＰｌａｎ－ｔｏ－Ｃｌｏｓｕｒｅ Ｍｅｔｈｏｄｏｌｏｇｙにより可能となっています。プロジェクト・マネージャ、システム・アーキテクト、ロジック・システム設計者、ロジック設計者、ソフトウェア設計者、検証エンジニア、さらにシステム実証チームを含む幅広いチームがＣａｄｅｎｃｅ ＥＳＬ検証ソリューションを活用することにより、プロジェクト・チーム全体が、共通のシステム要求項目を達成するためにブロック・レベル、チップ・レベル、そしてフル・システム・レベルでシステム内の検証を行うことがことができます。
自動化されたハードウェア、ソフトウェア、およびシステム・レベルの検証
ケイデンスのＥＳＬ検証ソリューションは、業界初の自動化されたハードウェア、ソフトウェア、そしてシステム・レベルの検証を提供します。これにより、コンストレイント・ドリブンで、かつカバレッジ・ドリブンなシステム・レベルのランダム・シナリオを自動生成します。これらのシナリオは、ソフトウェアのルーティン、ハードウェアの機能、そしてシステム・レベルのインターフェース・トランザクションを組み合わせて使用することにより、修正にコストがかさむ機能性のバグを検出します。
また、ＧＳＡ（ｇｅｎｅｒｉｃ ｓｏｆｔｗａｒｅ ａｄａｐｔｏｒ）が、システム・レベルの自動化テクノロジと共に機能し、環境を変えることなくＳｏＣのソフトウェアが高性能エンジン上で実行できます。新しい検証ＩＰであるソフトウェア・ベースのＵｎｉｖｅｒｓａｌ Ｖｅｒｉｆｉｃａｔｉｏｎ Ｃｏｍｐｏｎｅｎｔｓ（ＵＶＣｓ）は、自動化された環境に対して様々なシーケンスによるソフトウェアのサブ・ルーティンを提供し、これらのファンクション・コールのカバレッジを測定します。さらには、機能強化されたＳｉｍＶｉｓｉｏｎシミュレーション・インターフェースが、完全に統合されたハードウェアとソフトウェアのデバッグおよび不良解析を容易に実行します。
システム全体の管理
ケイデンスのＥＳＬ検証ソリューションは、実証されたハードウェア・プランとメトリック・ドリブンの検証管理を、組み込みソフトウェアおよびシステム・レベルの検証にまで拡張し、実行可能なシステム・レベルの検証プランの把握、システム全体を対象としたあらゆる検証作業の追跡および分析、そしてシステム・レベルのカバレッジの数値を積算する機能を含んでいます。これらの管理機能により、さらに予測可能なシステム全体の検証プロセス、広範囲なチーム・リソースのより効率的な活用、そしてハードウェア、ソフトウェア、およびシステム全体のより高い品質保証を実現します。
高性能なエンジン．新しいＩｎｃｉｓｉｖｅ Ｐａｌｌａｄｉｕｍ ＩＩＩとの統合
ケイデンスのＥＳＬ検証ソリューションは、新しいＩｎｃｉｓｉｖｅ Ｐａｌｌａｄｉｕｍ ＩＩＩを含む最高性能のエミュレーションおよびＳｙｓｔｅｍＣシミュレーション・エンジンと完全に統合しています。
Ｐａｌｌａｄｉｕｍ ＩＩＩは、最大で２ＭＨｚまでのパフォーマンス、従来製品と比較して最大２倍の実行速度、および大幅に向上したＦｕｌｌＶｉｓｉｏｎのデバッグ性能を提供します。また、Ｐａｌｌａｄｉｕｍ ＩＩＩは、Ｉｎｃｉｓｉｖｅ Ｅｎｔｅｒｐｒｉｓｅ Ｓｉｍｕｌａｔｏｒのコンストレイント・ランダムでカバレッジ・ドリブンなＥＳＬ自動化機能への高速なトランザクション・インターフェースも備えています。この同じ自動化環境は、ＳｙｓｔｅｍＣモデルに対してネイティブで、言語の混在に対応し、かつ高速なトランザクション・インターフェースにより、数十ＫＨｚから数ＭＨｚまでのスピードでリンクすることが可能です。
エコシステムをサポートすることにより、システム・レベル設計とのギャップを解消
ケイデンスは、業界標準のプロセッサ、ソフトウェア・デバッガ、ケイデンスの検証ＩＰであるＵＶＣ、およびＳｐｅｅｄＢｒｉｄｇｅレート・アダプタを含むＥＳＬ検証ソリューションをサポートする、強力なエコシステムを構築してきました。また、このソリューションは、ＧｒｅｅｎＨｉｌｌｓ Ｓｏｆｔｗａｒｅ社、Ｗｉｎｄ Ｒｉｖｅｒ Ｓｙｓｔｅｍｓ社、Ｆｒｅｅｓｃａｌｅ Ｓｅｍｉｃｏｎｄｕｃｔｏｒ社、およびＡＲＭ社などの業界標準のソフトウェア・デバッガにも統合しており、ＭＩＰＳ社のＦＳ２ ｈａｒｄｗａｒｅ／ｓｏｆｔｗａｒｅｃｒｏｓｓ－ｐｒｏｂｉｎｇ ｄｅｂｕｇ ｓｏｌｕｔｉｏｎｓとも使用可能です。
ケイデンスのＥＳＬ検証ソリューションの詳細は、以下のｕｒｌで入手できます。
http://www.cadence.com/products/functional_ver/esl_dt.aspx .
各社コメント：
Ｄｒ．Ｈａｎｄｅｌ Ｈ．Ｊｏｎｅｓ（Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｂｕｓｉｎｅｓｓ Ｓｔｒａｔｅｇｉｅｓ，Ｉｎｃ．、Ｃｈｉｅｆ Ｅｘｅｃｕｔｉｖｅ Ｏｆｆｉｃｅｒ）
「業界が４５ナノメーター・テクノロジへと移行していくにつれ、我々は製品のライフ・サイクルのコストと、先端のＳｏＣの収益性という大きな課題に直面しています。システム・レベルの複雑さは、ハードウェア、ソフトウェア、そしてシステムの統合が実証プロセスと結びついたエンタープライズ・レベルの検証ソリューションへの需要を今後も増加させるでしょう。システム・レベルでの効果的なハードウェア検証手法、および各設計段階での検証ソリューションを提供するケイデンスのアプローチにより、設計のリスピンの削減のみならず、開発期間を短縮し、コストを削減させることが可能です。」
Ｍｒ．Ｌａｕｒｅｎｔ Ｄｕｃｏｕｓｓｏ（ＳＴ Ｍｉｃｒｏｅｌｅｃｔｒｏｎｉｃｓ）
「ハードウェアとソフトウェアの相互関係の徹底的なテストと品質の保証は、ＳＴにおいて検証上の大きな課題です。実証済みの自動化されたハードウェア検証ソリューションと新しいＰａｌｌａｄｉｕｍ ＩＩＩの高性能なエミュレータに加え、ケイデンスの新しい検証ソリューションは、ハードウェアと組み込みソフトウェアの双方を管理、監視できるメカニズムを提供しています。これにより、多様なスペシャリストが、十分に実証された先端の検証手法を駆使して、各領域をまたぐ課題に対応することが可能になります。」
ケイデンス・コメント：
Ｓｔｅｖｅ Ｇｌａｓｅｒ（米国ケイデンス、Ｃｏｒｐｏｒａｔｅ Ｖｉｃｅ Ｐｒｅｓｉｄｅｎｔ ｏｆ Ｍａｒｋｅｔｉｎｇ，Ｖｅｒｉｆｉｃａｔｉｏｎ Ｄｉｖｉｓｉｏｎ）：
「ケイデンスのエンタープライズ・システム・レベル検証ソリューションは、自動化、管理、そしてパフォーマンスを組み合わせた統合されたアプローチを提供します。この機能の実現により、ケイデンスは、システム全体のプロセス自動化と、様々な設計のスペシャリストの課題の収束のための先駆者となりました。このソリューションの提供は、ケイデンスのＰｌａｎ－ｔｏ－Ｃｌｏｓｕｒｅ Ｍｅｔｈｏｄｏｌｏｇｙの一貫として、ブロック、チップ、システム・レベルの予測性、そしてハードウェア、ソフトウェア、およびシステム製品の品質を提供するという、我々の継続的な取り組みにおける主要なステップです。」