[検証] Verification HORIZONS October 2013 | Volume 9, Issue 3

Mentorの季刊誌 Verification HORIZONS


今回の内容はこちら。

  • It's Surprising What the Boy Scouts Can Teach Us about Verification
  • Software-Driven Testing of AXI Bus in a Dual Core ARM System
  • Caching in on Analysis
  • DDR SDRAM Bus Monitoring using Mentor Verification IP
  • Simulation + Emulation = Verification Success
  • Life Isn't Fair, So Use Formal
  • AMS Verification for High Reliability and Safety Critical Applications
  • Assertions Instead of FSMs/logic for Scoreboarding and Verification
関連記事

コメントの投稿

非公開コメント

プロフィール

Kocha

Author:Kocha
なんでもチャレンジ!(^o^)/
E-mail
github:Kocha
イベントカレンダー

カレンダー
09 | 2017/10 | 11
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31 - - - -
カテゴリ
OVP (4)
最新記事
最新コメント
アーカイブ
リンク
Twitter
アクセス人数