その他にRiviera-PRO 2011.10でサポートしているものは、
・コードカバレッジ ・デザインプロファイラ (あると便利ですが、あまり使われていません) ・リント機能 (Verilog HDL/VHDL) + STARC選定のRTL設計スタイルガイド ・暗号化IP (Verilog HDL/VHDL) ・トランザクション・ビューワーです。
STARC選定のRTL設計スタイルガイドは、ALINTというツールでサポートしているようですが、
ライセンスがあれば、Riviera-PRO 2011.10で使えるようです。
ライセンスがあれば、Riviera-PRO 2011.10で使えるようです。
上記以外の機能を含めて、英語でのビデオがあります。
検証、Verification、Aldec