Jasperのセミナーが開催されます

Verification Evangelistの戯言 : Twitter
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

6月27日(金)にいつもの新横浜のホテルで、
Jasper Real-World Applications of Formal Verification Seminarが開催されます。

代理店がシンコムさんになっています。

内容は、次のようになっています。

引用
    13:00 - 13:20  開会の挨拶およびJasper社紹介　
    13:20 - 14:20  Jasperによるフォーマル・プロパティ検証のソリューション
    14:20 - 15:10  設計者のためのフォーマル活用法
    15:10 - 15:25  休　憩
    16:10 - 16:55  フォーマルでSoC検証の問題を解決
    16:55 - 17:25  ポストシリコンでフォーマルを活用
    15:25 - 16:10  Jasperならプロパティを自動生成
    17:25 - 17:55  フォーマルによるアーキテクチャ検証
    18:00-  18:45  パーティ＆景品の抽選会
                   (ヘッドマウントディスプレイ、iPad、他が当たります）

ユーザ事例はあるのでしょうか？

検証、Verification