米シンプリシティ、ＡＳＩＣ検証手法を改革する「ＴｏｔａｌＲｅｃａｌｌ」テクノロジの詳細を発表
シンプリシティがＡＳＩＣ検証手法を改革する「ＴｏｔａｌＲｅｃａｌｌ」テクノロジを新たに発表
高速検証とバグ検証の完全な視覚化を実現
［２００７年１月８日に米国で発表されたプレスリリースの日本語版です］
半導体設計および検証用ソフトウェアのリーディング・サプライヤであるシンプリシティ・インク（Ｓｙｎｐｌｉｃｉｔｙ，Ｉｎｃ．ＮＡＳＤＡＱ：ＳＹＮＰ 以下シンプリシティ）は本日、検証の完全な視覚化を実現するＴｏｔａｌＲｅｃａｌｌ（ＴＭ）テクノロジの詳細について発表しました。この新しいテクノロジは、設計者がバグを迅速に検知し、正確にバグが修正されたかを検証することを可能にするため、ＡＳＩＣ検証の手段としてのＦＰＧＡプロトタイプの実用性が劇的に改善されるとシンプリシティは確信しています。ＴｏｔａｌＲｅｃａｌｌテクノロジにより、エミュレータ並みもしくはそれ以上に視覚化されたデバッグを実現しつつ、その処理スピードは１０～１００倍も高速です。更に、この革新的なテクノロジは、イベント発生後と同様にイベント発生までの信号情報も完全に追跡できます。
ＴｏｔａｌＲｅｃａｌｌテクノロジは、それがモジュールであろうと完全なチップであろうと、メモリの状態を含むデザインの全信号を追跡可能です。追跡はユーザが指定するサイクル数分、エラーが発生する前に戻って実行できます。その後、完全なデザイン・ステートは、自動生成されたテストベンチと共にＨＤＬシミュレータに渡されるため、問題点が判明し修正点の検証が完了するまで必要な限り、この追跡を繰り返すことが可能です。特許取得済みのＴｏｔａｌＲｅｃａｌｌテクノロジは、最初にバグを発生させた信号と全く同じ値を使ったシミュレーション環境で修正をテストできるという特徴をもっています。
またＴｏｔａｌＲｅｃａｌｌテクノロジは、ハードウェアに合成されるアサーションを使用することで可能となる強力なハードウェア検証手法もサポートしています。ＩＣ設計者の多くは、設計フローでアサーションを使用していますが、シミュレーション速度が遅いため検証には十分活用していません。ＦＰＧＡにアサーションを合成することで、アサーションのテストが高速で行えるため、検証用にアサーションを積極的に活用することが可能となります。例えば、ソフトウェアのシミュレータだけを使用して、携帯電話の起動手順を検証するには３０日以上かかります。しかし２０ＭＨｚで動作するＦＰＧＡプロトタイプでは、同じ起動手順の検証が３秒以内で完了するので、アサーションを十分に活用してバグを素早く検出し、その修正を迅速に検証することができます〔注１〕。ＦＰＧＡベースのプロトタイプ、アサーション・シンセシス並びにＴｏｔａｌＲｅｃａｌｌテクノロジを組み合わせることで、その他のツールでは検証過程でバグを検出し損なったり、あるいは検出できなかったりするバグを素早く発見できるようになります。
シンプリシティの社長兼ＣＥＯ（最高経営責任者）であるＧａｒｙ Ｍｅｙｅｒｓは次のように述べています。「ＴｏｔａｌＲｅｃａｌｌテクノロジはデバックの視覚化と効率化における画期的な進歩です。既存の高性能かつ低コストのＦＰＡＧプロトタイプと組み合わされることによって、ＴｏｔａｌＲｅｃａｌｌテクノロジの持つ新たな機能がプロトタイプをＡＳＩＣ検証における優れた手法と位置づけます」
他のソリューションとは異なり、ＴｏｔａｌＲｅｃａｌｌテクノロジは、稼動中のハードウェアに見られる予測不可能なバグについても対応できます。このレベルのバグや、まれにしか発生しないバグに対しては、ＲＴＬコードに加えた変更によって本当にバグが修正されたのかを検証することはほとんど不可能です。このような場合でも、ＴｏｔａｌＲｅｃａｌｌテクノロジをＦＰＧＡプロトタイプの持つ高速処理と併せて使うという独自の方法により、バグが起こる前と後のデザイン全体を見ることができ、修正を検証するために必要な環境の全てをユーザに提供します。
シンプリシティはＴｏｔａｌＲｅｃａｌｌテクノロジが、外部パートナ、特にＰＩＰ（Ｐａｒｔｎｅｒｓ ｉｎ Ｐｒｏｔｏｔｙｐｉｎｇ）プログラムのメンバー企業の機能と良好な統合が可能であると判断しています。シンプリシティはリファレンス・デザイン・フローを開発し、主要なシミュレーション環境すべてと統合する予定です。ＴｏｔａｌＲｅｃａｌｌテクノロジを搭載した製品についての詳細は、２００７年半ばに発表します。
シンプリシティのＰＩＰ（Ｐａｒｔｎｅｒｓ ｉｎ Ｐｒｏｔｏｔｙｐｉｎｇ）プログラムについて
世界の主要なＦＰＧＡベース・プロトタイピングボード・ベンダの多くが、シンプリシティのＰＩＰ（Ｐａｒｔｎｅｒｓ ｉｎ Ｐｒｏｔｏｔｙｐｉｎｇ） プログラムに参加し、シンプリシティのソフトウェアを使用して、ボード向けのフローを開発しています。ＰＩＰプログラムによって、シンプリシティのプロトタイピング・アプリケーションと、それを補完するＲＴＬによるプロトタイピング・ハードウェアや、ソフトウェア、並びに設計サービスを紹介・認証しています。ＰＩＰプログラムには、Ａｌｔｅｒａ、ＡＭＯ ＧｍｂＨ、ＡＲＭ、Ｔｈｅ Ｄｉｎｉ Ｇｒｏｕｐ、ＥＶＥ、Ｆｌｅｘｏｄｙ、ＧｉＤＥＬ、ＨＡＲＤＩ Ｅｌｅｃｔｒｏｎｉｃｓ、Ｎａｌｌａｔｅｃｈ、ＰｒｏＤｅｓｉｇｎ、エスケーエレクトロニクスが加入しています。ＰＩＰプログラムについての詳細は、http://www.synplicity.jp/partners/pip/index.htmlをご覧ください。
シンプリシティ（Ｓｙｎｐｌｉｃｉｔｙ，Ｉｎｃ．）について
シンプリシティ（Ｓｙｎｐｌｉｃｉｔｙ，Ｉｎｃ． Ｎａｓｄａｑ：ＳＹＮＰ）は、プログラマブル・ロジック・デバイス（ＦＰＧＡ，ＰＬＤ，ＣＰＬＤ）によるデザインを迅速かつ効果的に実現するための革新的なソフトウェア・ソリューションのリーディング・プロバイダであり、通信、軍事／航空 宇宙、コンシューマ、半導体、コンピュータ、およびその他の電子システムなど広範囲にわたる市場で利用されています。シンプリシティのソフトウェアは、デザインの根幹をなすデザインプランニング、ロジックシンセシス、フィジカルシンセシス、およびベリフィケーション機能を簡素化し、改善し、自動化することによって卓越した性能、コストとＴｉｍｅ－ｔｏ－ＭａｒｋｅｔのメリットをＦＰＧＡ、ＦＰＧＡベースのＡＳＩＣプロトタイプおよびＤＳＰそれぞれの設計者に提供します。シンプリシティはＦＰＧＡシンセシス・ソフトウェアの販売実績で第１位であり、ＥＥ Ｔｉｍｅｓが年に１回実施するＦＰＧＡ顧客調査で２００４年、２００５年と連続して顧客満足度の第１位に選ばれています。さらに、シンプリシティの製品は、業界標準の設計言語（ＶＨＤＬおよびＶｅｒｉｌｏｇ）に対応しており、主要なプラットフォーム上で動作します。世界中に２０拠点を展開しています。本社は米国カリフォルニア州サニーベイルです。ＵＲＬはwww.synplicity.comです。
シンプリシティ株式会社について
シンプリシティ株式会社（本社：東京都渋谷区、代表取締役：新井 雅之）は、米国シンプリシティ（Ｓｙｎｐｌｉｃｉｔｙ，Ｉｎｃ．）が１００％出資する日本法人です。同社は日本市場におけるシンプリシティ製品の販売とマーケティング、およびサポートを行っています。ＵＲＬはwww.synplicity.jpです。
新製品および既存製品の新バージョンの特長、機能、およびリリース時期についての決定は、シンプリシティが独自に行います。特長、機能、およびリリース時期などについては変更される場合があります。ＳｙｎｐｌｉｃｉｔｙはＳｙｎｐｌｉｃｉｔｙ，Ｉｎｃ．の登録商標です。ＴｏｔａｌｌＲｅｃａｌｌはＳｙｎｐｌｉｃｉｔｙ，Ｉｎｃ．の商標です。その他、本文中に記載されている全てのブランドおよび製品名はそれぞれ各社の登録商標あるいは商標です。ＳＹＮＰＪＰ＿２４Ｂ１
〔注１〕
出典：Ａｐｐｌｉｅｄ Ｆｏｒｍａｌ Ｖｅｒｉｆｉｃａｔｉｏｎ，Ｄｏｕｇｌａｓ Ｌ．Ｐｅｒｒｙ，Ｈａｒｒｙ Ｄ．Ｆｏｓｔｅｒ，ｐａｇｅ ３４ Ｔａｂｌｅ ３．４．Ｃｏｐｙｒｉｇｈｔ ２００５ ＭｃＧｒａｗ Ｈｉｌｌ
読者問い合せ先：
シンプリシティ株式会社
ｔｅｌ． ０３－５３５８－３３１１
aki@synplicity.jp