ケイデンス、フォーマルとダイナミックのハイブリッド検証ツール「Incisive Enterprise Verifier」を発表

2009年10月5日、ケイデンスはシリコンバレーで開催中のプライベートセミナー「CDNLive!」にて、フォーマル検証とダイナミック・シミュレーションのハイブリッド検証ツール「Incisive Enterprise Verifier」を発表した。

プレスリリース文

「Incisive Enterprise Verifier」は、フォーマル検証とダイナミック・シミュレーション双方の利点を享受できるハイブリッド型の検証ツールで、より品質の高い検証と検証の効率化を目指すもの。

フォーマル解析で使用したアサーションで、設計向けに新しいスティ ミュラスを生成し、シミュレーションに活用できるほか、フォーマルおよびシミュレーション・エンジンの両方の自動実行可能。従来のIncisiveファミリの製品と同様に、検証プランニング機能やサーバーファーム上のリグレッション、マルチコア処理にも対応しており、検証マネジメント環境「Incisive Enterprise Manager」とシームレスに接続できる。

「Incisive Enterprise Verifier」は既に利用可能で、シリコンバレーで開催中の「CDNLive!」では先行ユーザーの事例も発表されるという。
→ Combining Simulation and Formal Analysis for Memory Controller Verification -Ying Yu - Marvell （このセッションだと思われます。）

ちなみにフォーマル検証とシミュレーションのハイブリッド型の検証ツールとしては、シノプシスも「Magellan」を提供している。

※CDNLive!2009の情報

※ケイデンス・デザイン・システムズ社