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関連製品の検討・選定にお役立ていただける情報サービスです。情報量・登録料ともに無料です。安心してご利用下さい。

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

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

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

総合保育業務支援システム Kid's View(キッズビュー) 【ソフトバンク コマース&サービス】 通販ソリューション 【日立システムズ】 業種特化 物流ソリューション 【東計電算】 ProSCOPE-C 【日立SC】 介護事業所支援システム 「Care-wing(介護の翼)」 【ソフトバンク コマース&サービス】
特定業種向けシステム 特定業種向けシステム 特定業種向けシステム 特定業種向けシステム 特定業種向けシステム
厚生労働省の補助金で導入することもできる保育業務支援システム。園児の出欠状況確認、職員情報の管理、クラスごとの出席簿作成、園児の成長の記録などが効率的に行える。 通販バックヤードシステムを中心に、ECサイト、コールセンター、マーケティングツールなど、通販業務機能をオールインワンで提供。単品通販向け機能が豊富。 販売管理、運行管理、庫内管理、財務管理、勤怠管理、人事給与管理のサブシステムをオープン&シームレスにつなげる物流業向けERPシステムなどのソリューションを提供。 化学・プロセス・マテリアル業界の生産プロセスに特化した原価計算パッケージ。工程別総合原価計算に対応するなど、正確な原価計算を可能にする機能を搭載している。 スマートフォンとICタグを利用した介護事業所支援システム。ヘルパーが利用者のICタグにスマートフォンをかざすだけで勤務状況を正確に記録でき、ヘルパー賃金計算も自動。

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

このページの先頭へ


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

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


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


20010836


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

このページの先頭へ

キーマンズネットとは

ページトップへ