SystemVerilog Simulation & Verification
SystemVerilog
Originally developed by Accellera, SystemVerilog is a set of extensions to the Verilog HDL that allow for a higher level of modeling and more efficient verification of large and very large digital systems. Currently standardized as IEEE Std. 1800™-2005, the merging of both SystemVerilog and Verilog into one standard is planned for the near future. ALDEC is continuously working on improving SystemVerilog support and innovating in three areas:
- Hardware description extensions
- Assertions
- Advanced verification.
Depending on the particular Aldec tool solution and license configuration, designers can use features from different areas of the language. Riviera-PRO supports a considerable number of SystemVerilog extensions, including new data types and control structures, the interface construct and SystemVerilog assertions. While Active-HDL supports SystemVerilog design and also includes related sample designs and training materials..

Aldec delivers products for companies involved in all aspects of electronic design. Over the last 24 years Aldec has worked very closely with engineers to improve and automate the design process. Although methodologies of hardware designs are evolving, Aldec has designed its products to bring the latest technologies to every engineer without a need for extensive training. The cost effectiveness, ease of use and high performance of all our solutions remain the top goals of the product development teams.
Please visit our Products page by clicking the linked tabs above or the specific technology you may be interested in to your right. We urge you to find out how we can help your firm lead using our innovation.
Verification
- VHDL Simulation
- Verilog Simulation
- SystemC
- SystemVerilog
- Assertions (PSL, SVA and OVA)
- Acceleration/Emulation
- Code Coverage
- Design Rule Checker (LINT)
Specialty Solutions
- In-Hardware Simulation
- DO-254 Compliance
- MATLAB/Simulink Co-Simulation
- Verification IP
- HDL Regression Manager
- NIOS II Co-Verification
- ARM Co-Verification
- Actel RTAX Prototyping