PSL IEEE 1850, SystemVerilog IEEE 1800™, OpenVeraアサーションおよびファンクション・カバレッジ

Category : アサーションおよびカバレッジ・ツール

現代のシステム設計とその検証アルゴリズムにとって、アサーションとファンクショナル・カバレッジで使うプロパティの仕様は必要不可欠な要素です。アルデックのツールはアサーション言語として、OpenVeraアサーション（OVA）、Property Specification Language （PSL、仕様記述言語）、およびSystemVerilogアサーション（SVA）の3種類をサポートしています。アルデックのツールのハイエンド製品では、プロパティを書くことを支援し、assertやcoverディレクティブを使用して、コンパイルと最終的にシミュレーションとデバッギングを実行できます。

OVAはプローブ済みのデザインと一緒に協調シミュレーションして、デザインの挙動をモニター・追跡して、制約違反があった場合にはレポートします。OpenVeraアサーション・チェッカとして、assertとcoverのディレクティブがサポートされています。