Large FPGA and ASIC Verification
Riviera-PRO™ is a high-performance verification platform for ASIC and FPGA design teams, equipped with mixed-language simulation engine and advanced debugging tools. Riviera-PRO supports Electronic System Level (ESL) Verification with SystemC and SystemVerilog, Assertions Based Verification (ABV), Transaction Level Modeling (TLM) and VHDL/Verilog Design Rule Checking. Riviera-PRO works in command line mode for maximum speed and provides a powerful GUI for enhanced editing, tracing, and debugging. Riviera-PRO interfaces to popular EDA products, such as Synopsys® SmartModels™, SpringSoft®, Denali®, MATLAB® and Simulink®.
Top Features
- Common-Kernel VHDL, Verilog®, SystemVerilog, SystemC/C/C++/TLM 2.0, EDIF Simulator
- Unified HDL/SystemC code level Debugging & Post Simulation Debugging
- Accelerated Waveform Viewer
- Coverage: Code Coverage, Statement, Expression, Condition, Branch & Toggle
- SystemVerilog, PSL and OVA Assertions and Functional Coverage
- VHDL and Verilog Code Linting
- DSP algorithm design/co verification with MATLAB® and Simulink®
- 64-Bit Multi-Threaded Design Environment
- Script compatible with other HDL simulators
- Multi-Platform (32/64bit Linux®, Windows®)