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

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

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

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

AZCLOUD SaaS EnergySuite 【富士通マーケティング】 SEALS融資システム 【SCSK】 全銀TCP/IPアダプタ BroadZT 【システム・エンジニアリング・サービス】 個人信用情報照会システム L-CRIP 【セイコーソリューションズ】 REACH対応含有化学物質管理ソリューション ProChemist 【NEC】
特定業種向けシステム 特定業種向けシステム 特定業種向けシステム 特定業種向けシステム 特定業種向けシステム
単価変動も怖くない!石油卸業向けに特化した富士通の販売管理 融資の申込み/契約の登録/融資実行/請求/回収/延滞債権の管理/ 返済条件の変更/決算処理/各種照会など、企業融資の業務全般をサポート。
貸金業社版、生命保険会社版を用意。
全銀ベーシック手順から全銀TCP/IP手順への移行、対外接続ネットワークのIP化を実現するレガシーシステム連携ソリューション。短期間での移行が可能。 個人信用情報機関との通信制御から独自の個信審査まで、融資審査業務に欠くことのできない個人信用情報照会の機能を装備したパッケージ。導入実績110社以上。 REACH、RoHSなど各種環境法規に対応した情報管理ソリューション。
化学物質やSVHCに関する情報の統合管理、JAMP情報流通基盤への接続、含有量の自動計算などの機能を網羅。

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

このページの先頭へ


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

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


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


20010836


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

このページの先頭へ

キーマンズネットとは

ページトップへ