PSL IEEE 1850, SystemVerilog IEEE 1800™, OpenVeraアサーションおよびファンクション・カバレッジCategory : アサーションおよびカバレッジ・ツール現代のシステム設計とその検証アルゴリズムにとって、アサーションとファンクショナル・カバレッジで使うプロパティの仕様は必要不可欠な要素です。アルデックのツールはアサーション言語として、OpenVeraアサーション(OVA)、Property Specification Language (PSL、仕様記述言語)、およびSystemVerilogアサーション(SVA)の3種類をサポートしています。アルデックのツールのハイエンド製品では、プロパティを書くことを支援し、assertやcoverディレクティブを使用して、コンパイルと最終的にシミュレーションとデバッギングを実行できます。OVAはプローブ済みのデザインと一緒に協調シミュレーションして、デザインの挙動をモニター・追跡して、制約違反があった場合にはレポートします。OpenVeraアサーション・チェッカとして、assertとcoverのディレクティブがサポートされています。