Electronic Design and Solution Fair 2004 ロゴ
出展者一覧


510
ゼロイン・デザインオートメーション 株式会社
0-In Design Automation. Inc.
会場案内図表示

本社 〒222-0033
横浜市港北区新横浜2-12-12
2-12-12, Shinyokohama, kohoku-ku, Yokohama-city,
Kanagawa 222-0033, Japan
連絡先 営業/Sales
TEL:(045)471-3022
FAX:(045)471-3021
E-mail:ohishi@0-in.com
URL:http://www.0-in.com
出展物紹介 ◆ミリオンゲート対応のフォーマル検証環境(VHDL & Verilog)◆
従来のプロパティチェックのツールは、扱えるデザインサイズの限界があり、それらを解決することはフォーマル技術研究者の長年の課題でもありました。
0-In社は、ミリオンゲート対応のフォーマルエンジンの開発に成功し、それらのエンジンを利用した“スタテック・フォーマル(0-In Confirm)”、“ダイナミック・フォーマル(0-In Search)”の製品を提供しております。
また、クロックドメインクロッシング等のチェックを超高速に行うことができる0-In Check Listを展示します。
また、アサーション環境では、0-Inのアサーションライブラリ(CheckerWare)や標準言語(PSL、SVA、OVL)をサポートしたアサーションコンパイラ(0-InCheck)を展示いたします。


 
  このページを閉じる



日本エレクトロニクスショー協会
phone : 03-5402-7601 FAX:03-5402-7605
http://www.jesa.or.jp
ALL Rights Reserved by Japan Electronics Show Association
当サイトはIE5.0以上、 NN4.7以上で動作確認を行っております。