東芝情報システム株式会社

フォーマル検証 教育サービス

東芝情報システムでは、オンラインによるフォーマル検証 無償セミナーを開催しています。 これまで複数回にわたり開催しており、大変ご好評をいただいています。 ご興味をお持ちの方、参加してみたいという方は、ホームページ下よりお問い合わせください。

初学者向けセミナー(無償)

主に「フォーマル検証を知らない」「知ってはいるが使ったことがない」方を対象にしたセミナーです。
フォーマル検証の基礎知識に加え、一般的な書籍からは習得できない技術背景まで豊富な経験をもとにお伝えします。
また、ケイデンス・デザイン・システムズ社のJasperをワークショップにて体験することができます。
以下のようなお悩みをお持ちであれば、ぜひ受講をご検討ください。

こんなお悩みはありませんか?

  • フォーマル検証ってなに? シミュレーションしか使ったことがない
  • フォーマル検証を使ってみたいが、何ができるのかわからない
  • フォーマル検証を使ってみたが、うまくいかなかった (収束しない、不具合を見逃した、SVAをうまく書けなかった など)
  • フォーマル検証の一部の機能しか使ったことがない (証明、自動チェック など)
  • どのような回路にフォーマル検証を適用したらよいかわからない
  • フォーマル検証をもっと使いこなしたい

ケイデンス・デザイン・システムズ社 Club Formal Japan 事例紹介

当社は、国内最大級のフォーマル検証技術交流イベントであるケイデンス・デザイン・システムズ社 Club Formal Japanにて登壇、発表を行いました。当時参加できなかった方、もう一度聞いてみたい方など、ご興味をお持ちの方はホームページ下よりお問い合わせください。

「JasperGoldでSoC開発を加速! フォーマル検証の成功を妨げる3つの原因とその対策」

Club Formal Japan 2019(2019/11/27)
「JasperGoldでSoC開発を加速! フォーマル検証の成功を妨げる3つの原因とその対策」

「JasperGoldでSoC開発を加速!  ~フォーマル検証を成功に導くRTLデザイン手法~」

Club Formal Japan 2021(2021/3/4)
「JasperGoldでSoC開発を加速!  ~フォーマル検証を成功に導くRTLデザイン手法~」

ご相談、お問い合わせ

フォーマル検証の教育、導入のご相談はこちらからお問い合わせください。

お気軽にお問い合わせください。当社の製品・サービスは企業・団体・法人様向けに販売しております。

電話番号044-200-5300

コロナ禍のため、電話対応が難しい場合がございます。
[お問い合わせ]ボタンから問い合わせください。