Sign In / Register
Close
Username: Password: Remember me:

Riviera-PRO Configurations

Features LV
[Hide]
LVT
[Hide]
LVT-SV
[Hide]
Supported Standards
VHDL IEEE 1076 (1987, 1993, 2002 and 2008)
ALDEC simulators provide full support of the IEEE 1076-1993 Standard, IEEE 1076™-2002 VHDL standard and majority of just published IEEE 1076™-2008 Standard.More >>
yesyesyes
Verilog® HDL IEEE 1364 (1995, 2001 and 2005)
ALDEC simulators provide full support of the IEEE 1364-2005 Standard. To enable simulation of a large variety of Verilog designs, both legacy and new, ALDEC simulators can be set to work in Verilog ’95, 2001 and 2005 modes.More >>
yesyesyes
SystemVerilog IEEE 1800-2009 (Design)
SystemVerilog is a set of extensions to the Verilog HDL that allow higher level of modeling and efficient verification of large digital systems.More >>
yesyesyes
SystemC™ 2.2 IEEE 1666/OSCI 2.2/TLM 2.0
SystemC is an environment that allows description and verification of digital systems using C++. More >>
Optionyesyes
SystemVerilog IEEE 1800™ - 2009 (Verification)
Riviera-PRO supports SystemVerilog (IEEE Std. 1800™-2009) in three areas: hardware description extensions, assertions and advanced verification.More >>
--yes
Verification Libraries (UVM/OVM and VMM)
Verification Libraries (UVM/OVM and VMM)More >>
--yes
Design Entry and Design Management
HDL and Text Editor
The HDL Editor is a text editor designed for editing an HDL source code. It is tightly integrated with the compiler and simulator to enable debugging capabilities.More >>
yesyesyes
Auto-Complete and Code Templates
The HDL Editor allows using code autocomplete for all the languages supported by Riviera-PRO. More >>
yesyesyes
Design Manager
The Design Manager is a tool that allows you to view and manage workspaces, attached designs and their resources like HDL source files, waveform files, macros, code coverage and profiler results with a single mouse click.More >>
yesyesyes
Customizable GUI Perspectives
With large number of windows available in Riviera-PRO, keeping all of them open simultaneously is not feasible and frequent reconfiguring of GUI is tedious.More >>
yesyesyes
Macro, Tcl/TK, Perl script support
Aldec simulators support several scripting methods varying in the level of abstraction and possible applications. More >>
yesyesyes
HDL Debug and Analysis
Advanced Breakpoint Management
Simulations can be stopped on a breakpoint. Aldec supports both breakpoints in the source code as well as signal breakpoints.More >>
yesyesyes
Interactive Code Execution Tracing
Active-HDL provides an interactive graphical environment for design code tracing and verification.More >>
yesyesyes
Waveform Viewer
The Accelerated Waveform Viewer is a high performance tool for graphical presentation of simulation data stored in a binary simulation database (*.asdb).More >>
yesyesyes
Hierarchical References to/from VHDL (Signal Agent)
The Signal Agent in VHDL allows monitoring and driving VHDL signals from any VHDL block.More >>
yesyesyes
Post Simulation Debug
Post Simulation Debug is an advanced feature that allows users to observe the simulation results after the simulation has been finished.More >>
yesyesyes
Multiple Waveform Windows
In large designs where multiple signals must be observed during simulation, keeping them in one waveform window is inconvenient: since all signals cannot fit in one window, frequent scrolling is required to get to the desired waveform data.More >>
yesyesyes
Waveform Comparison
The Compare Waveforms option compares waveforms displayed in the Waveform window with pattern waveforms from a specific waveform file.More >>
yesyesyes
Memory Viewer
The Memory Viewer is a debugging tool that has been designed to display memory objects defined in an active design.More >>
yesyesyes
Integrated Source Level C/SystemC Debugger
Riviera-PRO allows simultaneous and seamless debugging of pure SystemC designs and mixed HDL-SystemC in a single environment.More >>
-yesyes
Assertions Debugging
Design and verification engineers who implemented assertions and covers in their project can observe their behavior during regular simulation and debugging in multiple windows.More >>
Optionyesyes
Synopsys SmartModels®, SWIFT Interface and LMTV
The SWIFT SmartModel Library contains behavioral simulation models of standard integrated circuits.More >>
Optionyesyes
SpringSoft® Verdi™ FSDB Interface
Riviera-PRO output FSDB files that work with SpringSoft Verdi and legacy Debussy debuggers. Riviera-PRO work with SpringSoft products in post-processing mode(PSD).More >>
Optionyesyes
X-Trace
X-Trace helps you quickly identify the cause of unexpected values by reporting information on changes from valid to unknown, uninitialized, or user-defined values in the simulated model.More >>
Optionyesyes
Advanced Dataflow
The Advanced Dataflow window is a powerful tool that allows designers to explore the connectivity of an active design and analyze dataflow among instances, concurrent statements, signals, nets, and registers during simulation.More >>
Optionyesyes
Extra Standalone Accelerated Waveform Viewer (ASDB)
The stand-alone Waveform Viewer can be used to: display simulation results created in previous simulation runs and display simulation results on the fly, while simulation is still in progress.More >>
OptionOptionOption
Simulation/Verification
Single or Mixed Language
Most ALDEC simulator configurations support mixed (VHDL and Verilog) designs, but single language (VHDL-only or Verilog-only) configurations are also available.More >>
yesyesyes
Verilog Programming Language Interface (PLI/VPI)
The Verilog PLI (Programming Language Interface) and VPI (Verilog Procedural Interface) provide a standard mechanism to access and modify data in a simulated Verilog model.More >>
yes--
VHDL Programming Language Interface (VHPI)
The VHPI interface provides a standard means to access data in VHDL models elaborated in Active-HDL and Riviera-PRO.More >>
yesyesyes
SystemVerilog IEEE 1800 DPI 2.0
DPI, or the Direct Programming Interface, is the next generation interface between SystemVerilog code and foreign C/C++ code.More >>
yesyesyes
Value Change Dump (VCD and Extended VCD) Support
The VCD (Value Change Dump) file format is specified in the IEEE Std. 1364-1995 standard. The VCD file is an ASCII file containing header information, variable definitions, and variable value changes.More >>
yesyesyes
Incremental Compilation
With incremental compilation, small change in one of many design sources does not require recompilation of the entire design. Compilers working in incremental mode can ignore not only files that were not changed, but also areas of larger files that were not modified.More >>
yesyesyes
Multi-Threaded Compilation
Compilers can utilize newer workstations with multiple processors/processor cores to simultaneously translate different parts of the design, significantly reducing compilation times.More >>
yesyesyes
Separate Elaboration
Elaboration is the part of design translation that builds simulation model out of compiled design code and library resources. While required after compilation and before simulation initialization, elaboration separate from those processes can significantly reduce processing time of large designs.More >>
yesyesyes
Simulation Model Protection
Library protection offers four security levels when compiled models are distributed in the form of library files without releasing their source code.More >>
yesyesyes
VHDL IEEE 1076™-2008 Encryption
Using standard design source encryption is a much easier form of managing IP creation and delivery than any kind of binary file encryption. Riviera-PRO supports standard methodology introduced in IEEE Std. 1076-2008. More >>
yesyesyes
Verilog® IEEE 1364™-2005 Encryption
Using standard design source encryption is a much easier form of managing IP creation and delivery than any kind of binary file encryption. Riviera-PRO supports standard methodology introduced in IEEE Std. 1364-2005. More >>
yesyesyes
Xilinx® SecureIP Support
Aldec simulators support the SecureIP methodology of IP delivery implemented in Xilinx tools.More >>
Option (VHDL Only)yesyes
Altera® Language-Neutral Libraries
This option enables Aldec customers with VHDL only license to simulate the most recent Altera Libraries and Megafunctions without purchasing a separate Verilog license (which is required as some of the design units, as well as Megafunctions generated by the MegaWizard™ in Quartus® 11.0, are written in Verilog/SystemVerilog).More >>
Option (VHDL Only)yesyes
32/64-Bit Cross-Compatible Libraries
Library compatibility across different platforms enables more efficient work of teams working on the same projects, but equipped with different workstations. One set of design libraries can be kept in a convenient location with easy access from all team members.More >>
-yesyes
64-Bit Simulation
The ability for the simulator to run at 64-bit bus throughput application speeds and utilize extended memory. (Not applicable on Riviera-PRO LV).More >>
-yesyes
Simulation Performance Optimization (Verilog/SystemVerilog, VHDL)
The Verilog RTL & Gate performance optimizer accelerates simulation of all types of Verilog designs, including designs with timing, gate-level designs, and designs with predominantly behavioral code. More >>
-yesyes
Transaction-Level Visual Debugging
Transaction-Level Visual Debugging refers to advanced capability of the Waveform Viewer that enables representing simulation data at a higher level of abstraction. More >>
-Optionyes
Profiler (Performance Metrics)
The Profiler identifies design units or code sections that put the greatest strain on the simulator. This information is valuable for optimizing the simulation environment and improving performance.More >>
Optionyesyes
SFM (Server Farm Manager)
Due to the complexity of contemporary designs, there is a need for extensive testing of new products. Server Farm Manager (SFM) shifts the regression paradigm and provides not only simulation technology but also a tool for automatic management of thousands of parallel simulations. More >>
Option 1Option 1Option 1
Hardware Assisted Verification (Acceleration and Emulation)
Acceleration speeds up verification by co-simulating HDL code and portions of the design pushed into hardware (mainly well tested blocks or IP blocks). Emulation allows in-hardware simulation and extensive debugging of large systems that will eventually work on different platform.More >>
Option 2Option 2Option 2
Assertions and Coverage Tools
Code Coverage (Statement/Branch, Expression/Condition, Path), Toggle Coverage + New UCIS-compatible Aldec Coverage Database.
Code Coverage is a debugging tool that aids the verification process.More >>
Optionyesyes
PSL IEEE 1850, SystemVerilog IEEE 1800™, OpenVera Assertions and Functional Coverage (Assertion)
Specification of properties and their use in assertions and functional coverage is the essential element of designing modern systems and their verification algorithms.More >>
Optionyesyes
Functional Coverage (Covergroup)
Functional Coverage can provide information about the quality of the design verification process.More >>
-yesyes
Co-simulation
Simulink® Co-simulation
The Simulink Interface simplifies verification of hardware designs by providing robust visualization and analysis toolsets.More >>
yesyesyes
MATLAB® Co-simulation
Aldec simulators integrate The MathWorks' intuitive MATLAB language and a technical computing environment.More >>
yesyesyes
Design Rule Checking
ALINT with Basic Rule Library
Aldec® ALINT™ analyzes VHDL, Verilog and Mixed Language HDL code during compilation, prior to simulated or synthesized.More >>
Option 3yesyes
DO-254 Verilog or VHDL Rule Library
ALINT supports new sets of rules that facilitate compliance with DO-254.More >>
Option 3Option 3Option 3
STARC Verilog or VHDL Rule Library
STARC® based programmable design and coding guideline checker of complex system-on-chip designs.More >>
Option 3Option 3Option 3
RMM (VHDL and Verilog)
Reuse Methodology Manual (RMM) design rule library is based on the industry-proven manual from Synopsys Inc. and Mentor Graphics Corp. which defines the methodology for effective design reuse and verification.More >>
Option 3Option 3Option 3
Licensing
Floating License
The network floating configuration (multiple users) is based on a license started on a remote machine (license server) running on the Windows or Linux platform.More >>
yesyesyes
One Year Time Based License
One Year Time Based License (TBL) grants a designer a license to use the product for a period of one year. A 1 year support contract is included with the purchase of TBL license.More >>
yesyesyes
Perpetual License
A perpetual license is a license with no expiration date. A 1 year support contract is included with the purchase of perpetual license.More >>
yesyesyes
Supported Platforms
Linux (32/64-Bit)
Linux x86/x86_64 support.More >>
32-Bit Onlyyesyes
Windows® 7/Vista/XP/2003 - (32/64-Bit)
Builds are tested on all the latest platforms, including Windows 7, to ensure correct operation on users' workstations.More >>
32-Bit Onlyyesyes
Option 1 - Server Farm Manager is a separate Aldec product
Option 2 - Hardware Assisted Verification is a separate Aldec product - HES
Option 3 - ALINT™ is a separate Aldec product, STARC, DO-254 and RMM packages are sold separately