メンター、機能検証プラットフォーム「Mentor EVP」の機能強化を発表

を迅速に生成できるため、検証品質を素早く評価し、カバレッジクロージャ時間の短縮を測ることができる。

また、Questa Formalの検証エンジンでは、CDC(Clock Domain Crossing)、プロパティチェック、Xステート解析、接続チェック、セキュリティチェックなどのフォーマルアプリケーションにより、検証速度が最大で8倍高速化された。Questa Formalは、Questa Simulationとシームレスに連携することで、双方のエンジンの性能向上をもたらし、最終結果までの時間の短縮に貢献している。

このほか、Questa Power Aware Simulationが市販のシミュレータとして初めてIEEE 1801 UPF 2.1をサポート。UPFローパワー設計の自動スタティック/ダイナミックチェックにより、UPF記述の電力管理構造とその振る舞いを素早く検証することができるようになった。加えて、UPFベースのカバレッジ指標とテストプランの自動生成機能を備え、ローパワー設計のカバレッジクロージャに何が必要となるかを理解し、正確に追跡するのに役立てることができる。また、生産性に優れたローパワー検証メソドロジを有効活用できるように、UPF2.1を完全にサポートしていない下流ツールへの対応としてUPF 2.1から同等のUPF 1.0を生成する機能も搭載されている。