CTC、システムLSIの設計効率を向上するツールを発売

この記事をtweetする このエントリーをはてなブックマークに追加


CTC、システムLSIの設計効率を向上するツールを発売


掲載日:2005/06/15


News

 伊藤忠テクノサイエンス株式会社(CTC)は、米Real Intent,Inc.と販売総代理店契約を締結し、システムLSIの設計効率を向上するフォーマル検証ツール「Verix」ファミリーを、発売する。価格は、360万円からとなっている。

 “フォーマル検証”とは、論理回路を数学的解析によって網羅的に検証する手法。Real Intent社は、事前に定義されたプロパティをもとにテストベンチの作成を必要としない論理検証を行なう“Property Check方式”のツールを提供している。今回発売される「Verix」ファミリーは、論理設計ルールのコード活性化を保証するコードカバレッジ予測/見積りツール「Verix-IIV(Implied Intent Verification)」と、PSL(Property Specification Language)V1.1/SVA(System Verilog Assertion)/OVLをサポートするアサーションベースのフォーマル検証ツール「Verix-EIV(Expressed Intent Verification)」、非同期クロックドメイン同期化検証ツール「Verix-CIV(Clock Intent Verification)」から構成されている。

 これにより、LSI設計/修正作業期間を短縮して早期に市場に製品を投入することができ、設計に関わるコストも削減することができる。なお動作環境は、RedHat Linux 7.3以降、Solaris 2.6/7/8(32ビット/64ビット)、HP-UX 11.0(32ビット/64ビット)となっている。


出荷日・発売日 −−−
価格 3,600,000円〜

関連キーワード

  ※製品ニュースに関するお問合せ : 企業サイトへ


  ※関連キーワードのリンクは自動で行っているため、適切でない可能性があります。ご了承ください。


図解でわかりやすいIT技術の解説記事2000本
ITセミナー400件、IT製品情報1000件以上!

キーマンズネットは、アイティメディア株式会社が運営する「企業向けIT関連情報サービス」です。会社で導入するIT関連製品の検討・選定にお役立ていただける情報サービスです。情報量・登録料ともに無料です。安心してご利用下さい。

「特定業種向けシステム」関連の情報を、チョイスしてお届けします

※キーマンズネット内の「特定業種向けシステム」関連情報をランダムに表示しています。

「特定業種向けシステム」関連の製品

ProSCOPE-C 【日立SC】 AZCLOUD SaaS EnergySuite 【富士通マーケティング】 通販ソリューション 【日立システムズ】 REACH対応含有化学物質管理ソリューション ProChemist 【NEC】 食品業向け販売・製造管理システム Sky-Mart 【東計電算】
特定業種向けシステム 特定業種向けシステム 特定業種向けシステム 特定業種向けシステム 特定業種向けシステム
化学・プロセス・マテリアル業界の生産プロセスに特化した原価計算パッケージ。工程別総合原価計算に対応するなど、正確な原価計算を可能にする機能を搭載している。 単価変動も怖くない!石油卸業向けに特化した富士通の販売管理 通販バックヤードシステムを中心に、ECサイト、コールセンター、マーケティングツールなど、通販業務機能をオールインワンで提供。単品通販向け機能が豊富。 REACH、RoHSなど各種環境法規に対応した情報管理ソリューション。
化学物質やSVHCに関する情報の統合管理、JAMP情報流通基盤への接続、含有量の自動計算などの機能を網羅。
受注・売上・発注・仕入・製造・在庫・債権・債務・売掛・買掛を1システムで統合管理できる、食品業向け販売・製造管理システム。

「基幹系システム」関連 製品レポート一覧

このページの先頭へ


Myリストへ 印刷用ページへ

この記事をtweetする このエントリーをはてなブックマークに追加


掲載されておりますサービス内容・料金などは掲載日時点のものです。変更となる場合がございますのでご了承下さい。


20010836


IT・IT製品TOP > 基幹系システム > 特定業種向けシステム > 特定業種向けシステムのITニュース > ニュース詳細

このページの先頭へ

キーマンズネットとは

ページトップへ