株式会社ガイア・システム・ソリューションのプレスリリース

VFリリーストップ | 運営会社

■【重要】配信サービス統合に関するお知らせ

現在ご利用頂いております「VFリリース」につきまして、ユーザビリティの向上、機能追加、品質向上を目的とし、2012年4月1日（日）に「ValuePress!」と配信サービスを統合させて頂く運びとなりました。

配信サービス統合に関する詳細はこちらをご覧下さい。
(2012-03-19 00:00:00)

■【重要】経営統合のお知らせ

クラシックコミュニケーション株式会社は、株式会社バリュープレスと平成24年3月1日付けでPR総合支援企業に向けた経営統合を行うことを決定致しました。

詳細はこちらをご覧下さい。

(2012-02-28 12:00:00)

■リリースの「業界検索」機能を強化しました。

VFリリース内の「業界検索」機能を強化しました。

(2012-01-17 16:00:00)

■Grow!ボタンを設置しました。

ソーシャル環境を調査を目的に「Grow!」ボタンを設置しました。

(2012-01-17 10:00:00)

　Check

2007年01月23日 09時　

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

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

米国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