フォーマル検証 導入サービス
東芝情報システムでは、Cadence® Jasper™ RTL Appsを活用するためのフォーマル実行環境を提供しています。自社のフォーマル検証環境をお持ちでない方、よりよい環境をお探しの方は下記問い合わせフォームよりお問い合わせください。
導入サービスは、以下のようなお悩みをお持ちの方に最適なサービスです。
こんなお悩みはありませんか？
- フォーマル検証を実施したいが、環境を一から作成する時間が取れない
- 環境はあるが、Jasper 最新機能へ追従できていない
- 各自が環境を構築しているので品質にばらつきが出る
- 一部の機能しか使ったことがない、他の機能も使ってみたい
- 実行結果のチェックに時間や手間がかかっている
- SVAをうまく書けない、どう書けばよいかわからない
フォーマル導入環境の概要とメリット
| Cadence提供物 | 当社導入環境 | メリット | |
|---|---|---|---|
| マニュアル |
|
|
|
| 実行条件変更 |
|
|
|
| 実行結果 |
|
|
|
| 機能拡張 |
|
|
|
導入環境のイメージ
- 用意して頂くものは RTL/SVA＋Listファイルとconfigファイルのみ
- 1つの環境で各APPを実行可能 make DUT=Module名 MODE=SUPERLINT/FPV/COV/...
- 実行結果が自動的にRedmine/Excel フォーマットにまとめられた形で出力
- 見逃しがちな疑似Provenも自動判定され、結果ファイルへ出力
- プロパティの証明状況を認識し、効率的な実行を行います
※Cadence® Jasper™ RTL Appsのライセンスは各社様でご用意して頂く必要があります。
ご相談、お問い合わせ
フォーマル検証の教育、導入のご相談はこちらからお問い合わせください。