記事紹介:Top 10 Tips for Successful Use of Formal Analysis(SOCcentral)

http://www.soccentral.com/ にてこんな特集記事が出てます。
Top 10 Tips for Successful Use of Formal Analysis

関連した記事として、以下のリンクもあります。
- Simulation Coverage and Formal Verification: Unlikely Collaborators?(Synopsys, Inc.)
- Understanding Formal Verification Concepts-Part 1(Atrenta, Inc.)
- Understanding Formal Verification Concepts-Part 2(Atrenta, Inc.)
- Understanding Formal Verification Concepts-Part 3(Atrenta, Inc.)
- Seven Habits of Effective Formal Verification Planning(Mentor Graphics Corp.)
- Streamlined Verification Plans Using the Metric Driven Verification Flow(Cadence Design Systems, Inc.)
- Using Formal Technology to Improve Coverage Results(Mentor Graphics Corp.)

読み応えがあると思いますので、是非。
関連記事

コメントの投稿

非公開コメント

プロフィール

Kocha

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

カレンダー
10 | 2017/11 | 12
- - - 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 - -
カテゴリ
OVP (4)
最新記事
最新コメント
アーカイブ
リンク
Twitter
アクセス人数