「Riviera-PRO」は、主にASICユーザーを対象とした論理シミュレーターで、Verilog、VHDL、SystemC、SystemVerilogとマルチ言語対応でアサーション（SVA、PSL、OVL）もサポート。STARCのRTLスタイルガイドに準拠したLint機能「ALINT」もオプションで用意して…