出展者詳細 Oski TECHNOLOGY
C-12 

Oski TECHNOLOGY
世界初 日本発 新製品

出展物紹介

「フォーマル検証ツールが収束しない」、「現在使用中のフォーマルテストベンチの完成度について知りたい」、などの課題を持たれている方は、是非Oski社ブース(C-12)にお立ち寄りください。世界唯一のフォーマル検証手法の専門ベンダーのOski社は、フォーマル・サインオフ手法のデモと、Oski社独自の抽象化モデルが、フォーマル検証を60万倍改善した事例をご紹介いたします。貴社のフォーマル検証の課題について、弊社のフォーマル検証エキスパートと議論できる機会を活用するチャンスです!!!


連絡先

日本担当:横川秀美

TEL:090-4748-1652
E-mail:yokokawa@TokyoNF.com

所在地

米国:カリフォルニア州マウンテンビュー

www.oskitechnology.com

出展者一覧 / 検索 に戻る

出展者セミナー聴講事前登録はこちら/マイページはこちら

主催者

同時開催

Embedded Technology 2013

メディアパートナー

Tech-On

EDN

EETIMES Japan

半導体産業新聞

このページの先頭へ