スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。

Questa拡張(CoverCheck,AutoCheckなどなど)

Mentorからのプレスリリース:
メンター・グラフィックスのQuesta機能検証プラットフォーム、広範なフォーマル検証機能を提供
ということで、機能検証に関して拡張しているようです。
以下、トピックスのみ
・Questa CoverCheckによる100%のコードカバレッジ
・主流ユーザ向けのAutoCheckを搭載したQuesta Formal
・設計サイズ無制限の高性能解析用Questa CDC
Questa CoverCheckは新しいプロダクトになるのかな?

Blogでも説明があります。
Improving simulation results with formal-based technology

追記(2012/10/25)


- MentorがQuesta Verification Platformのフォーマル検証技術を強化(EDA-Express)

追記(2012/10/29)


- Mentor、フォーマル検証ツールにアサーション自動生成機能を搭載(Tech-On!)
関連記事

コメントの投稿

非公開コメント

プロフィール

Kocha

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

カレンダー
07 | 2017/08 | 09
- - 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
アクセス人数
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。