米国Averant社、ハードウエアの自動フォーマル検証ツールSolidCheckを発表。

2007年1月22日
News Release
米国Averant,Inc、自動フォーマル検証ツールSolidCheckを発表

米国カリフォルニア州ヘイワード（2007年1月22日）
---RTLデザインの検証技術のリーディング企業であるアベラント社
（Averant, Inc.）は、「First In Formal」と称したフォーマル・
プロパティ検証におけるリーダー的役割を担うべく、
SolidCheckのリリースを発表しました。
　　
SolidCheckは、静的フォーマル検証を新しく取り入れようとする
ユーザにとって、非常に簡単に低コストで導入ができます。

SolidCheckは、クロック・ドメイン・クロッシング（CDC）、
デッド・コード、FSMのデッド・ロックやライブ・ロック、
ケース・ステートメント・プラグマ、リセット伝播、バス競合、
配列境界チェックなどの項目について、自動的にプロパティを生成し
ます。ユーザはデザイン（Verilog/VHDLまたは混在記述 をサポート）
を読み込ませ、検証項目をチェックして実行させるだけです。

アベラント製品の日本総販売代理店である株式会社ガイア・システム
・ソリューション、　CEO兼取締役会長である平出隆一氏は、
「SolidCheckは、プロパティ記述のいらないフォーマル検証であり、
まさに、日本における設計者がずっと求めてきたツールです。」
と述べています。

また、アベラントの創設者でもあるCEOのRamin Hojati
（ラミィン・ホジャティ）氏も、
「主力製品であるSolidifyは、日本で一番人気のあるプロパティ・
チェック・ツールです。SolidCheckは、日本におけるフォーマル検証
を大いに普及させ、その結果、デザインは高品質となり、
設計者はより生産的になるでしょう。」と述べています。

SolidCheckは、Linux,Windows,Solarisの各プラットフォームで利用
可能です。日本においては、２００７年１０月３１日まで
プロモーションによる特別価格での提供をしています。
（詳細については、株式会社ガイア・システム・ソリューションまで
お問い合わせ下さい）


アベラント（Averant,Inc.）について

アベラントは、１９９７年に創設された未公開企業で、スタティック
・フォーマル検証の新しい手法と技術におけるパイオニア企業です。
オリジナルのプロパティ言語HPLや業界標準プロパティ言語であるPSL
やSVAによってデザインを検証する強力なフォーマル検証エンジン
Solidify,プロトコル検証ツールSolidPC、
タイミング制約検証SolidTC（日本未発売）、
そして自動フォーマル検証ツールSolidCｈeckを提供していますが、
どれもシミュレーターやテスト・ベクターは必要としません。
これらのツールは、デザインフローに容易に導入でき、品質向上、
リスク軽減、設計プロセスのスピードを改善します。
詳細な情報は、http://www.averant.comより入手可能です。


株式会社ガイア・システム・ソリューションについて

ガイア・システム・ソリューションは、組込みシステム開発を
サポートする超高速システムシミュレータを核とした豊富な開発環境
を揃え、上流設計から下流設計まで、お客様に最適なソフトウェア
＆ハードウェア設計プロセスを提案しています。
さらに、組込みシステム開発のクオリティ・ソリューションとして、
設計手法コンサルタント、新規価値の創造コンサルタントを通して、
組込みシステムの新たな価値の創造を支えています。
詳細な情報は、http://www.gaiaweb.co.jpより入手可能です。

【お問い合わせ先】
株式会社ガイア・システム・ソリューション
担当：高田　
Tel : 03-3443-9720

《関連URL》