0フォーマットのネットリストのシミュレーションはほとんどのアルデックのシミュレータでサポートされています。デザインSystemVerilogはVerilogの拡張セットで、高い抽象度のモデリングと大規模デジタル・システムの効率的な検証を可能にします。1364-2005規格を完全にサポートしています。'95モード、2001モードおよび2005モードで稼働させることができます。1076TM-2008規格を完全にサポートします。Interface)はシミュレーションするVerilogモデルのデータにアクセスして修正するための標準的なインタフェースです。>>対話的コード実行トレースソースコードのステップ実行は、最も一般的なデバッグ手段の1つです。ステップ実行は、コードを1行毎に実行します。>>高度なブレークポイント管理シミュレーションはブレークポイントで停止させることができます。アルデックはソースコードのブレークポイントと信号のブレークポイントを両方ともサポートします。>>ライセンス・タイプフローティング・ライセンスネットワークのフローティング設定(複数台使用)は、WindowsかLinuxのリモート・マシン(ライセンス・サーバ)のライセンスを基盤として使用するものです。www.aldec.com/jp/products/university_programs/riviera_pro_edu/configuration。