Accelerating the pace of engineering and science

Third-Party Products & Services


High-performance ASIC and large FPGA verification solution


  • Support for all kinds of HDL and HVL languages
  • Support for the latest Verification Libraries, including UVM
  • Scripting and batch processing
  • Advanced debugging tools, dataflow, FSM , coverage, assertion, and profiler
  • Advanced Coverage capabilities for fast metric-based verification closure
  • Plot and Image viewer for visual representation of large amount of data


Riviera-PRO™ is a high-performance ASIC and large FPGA verification solution that is optimized for long simulation runs and batch processing. It is a stand-alone VHDL, Verilog, SystemVerilog and EDIF simulation environment that integrates seamlessly with other tools available on the market.

The interface included in Riviera-PRO enables users to execute MATLAB® commands, call MATLAB-functions, and transfer data to or from the MATLAB workspace. All operations are controlled from the HDL code. Communication with MATLAB is accomplished through a dedicated set of subprograms prepared for both Verilog and VHDL.

At any level of a design hierarchy, the user can pass commands to MATLAB (for example, pass an expression to solve or call an M-function), transfer HDL variables to the MATLAB workspace, perform necessary operations, and transfer the results back to the HDL simulator.

The Simulink interface enables users to co-simulate functional blocks described with mathematical formulas and behavioral models described with hardware description languages. The interface is accompanied by the Co-Simulation wizard for Simulink that generates a black-box representation for any HDL or EDIF unit compiled to a Riviera library.
Black-boxes generated by the wizard can be placed on Simulink diagrams and used in the verification process performed within Simulink. Using the wizard, the user sets the options required for the co-simulation of black-boxes, such as the clock and clock enable ports, quantization, etc.

The black-boxes placed on a Simulink diagram can be automatically converted to the format compatible with HDL Coder™ that is an extension available for the Simulink interface.

Aldec, Inc.

2260 Corporate Circle
Suite 480
Henderson, NV 89074
Tel: 702-990-4400
Tel: 800 487-8743

Required Products


  • Linux
  • UNIX
  • Windows


  • E-mail
  • Fax
  • Telephone

Product Type

  • Modeling and Simulation Tools


  • Image Processing and Computer Vision
  • System Modeling and Simulation


  • Aerospace and Defense
  • Communication Infrastructure
  • Consumer Electronics
  • Semiconductor