この問題を解決した Riviera-PRO の新しいバージョンについては、Aldec にお問い合わせください。