今日は、Verify2013ですね！いつものように休暇にて参戦です。でも、勤務先より遠いです。（≧∇≦）
早いもので、皆さんの前でお話してから2年が経ちます。
今回は、申し込み番号が6番です。
修正！
ユーザー事例は、4つ => 3つ。古くて新しい？は、持ち時間からベンダーセッションでした。
Magillemで創るMagical World
～ マジでびっくり！！ IP-XACTを用いたIP検証環境の構築事例 ～
「マイコンのシリーズ開発におけるフォーマル検証の活用」
VisualSimを用いたAVBネットワークシステムの検証
基調講演は、Trigence Semiconductorの岡村さん。お逢いできるのが楽しみです。
「エンジニアの不都合な真実」--- 自分で編むセイフティネット ---
検証、Verification
