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

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

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

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

全銀TCP/IPアダプタ BroadZT 【システム・エンジニアリング・サービス】 業種特化 物流ソリューション 【東計電算】 SEALS融資システム 【SCSK】 FUJITSU 流通業ソリューションProjectViz 【富士通】
特定業種向けシステム 特定業種向けシステム 特定業種向けシステム 特定業種向けシステム
全銀ベーシック手順から全銀TCP/IP手順への移行、対外接続ネットワークのIP化を実現するレガシーシステム連携ソリューション。短期間での移行が可能。 販売管理、運行管理、庫内管理、財務管理、勤怠管理、人事給与管理のサブシステムをオープン&シームレスにつなげる物流業向けERPシステムなどのソリューションを提供。 融資の申込み/契約の登録/融資実行/請求/回収/延滞債権の管理/ 返済条件の変更/決算処理/各種照会など、企業融資の業務全般をサポート。
貸金業社版、生命保険会社版を用意。
プロジェクト全体を一元管理し、損益を見える化することで、プロジェクトリーダだけでなく経営層によるタイムリーな問題解決や経営判断を支援するソリューション。

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

このページの先頭へ


Myリストへ

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


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


20010836


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

このページの先頭へ

キーマンズネットとは

ページトップへ