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