Products Overview

FPGA Simulation


Active-HDL™ is a Windows® based, integrated FPGA Design Creation and Simulation solution for team-based environments. Active-HDL’s Integrated Design Environment (IDE) includes a full HDL and graphical design tool suite and RTL/gate-level mixed-language simulator for rapid deployment and ...
Functional Verification


Riviera-PRO™ addresses verification needs of engineers crafting tomorrow’s cutting-edge FPGA and SoC devices. Riviera-PRO enables the ultimate testbench productivity, reusability, and automation by combining the high-performance simulation engine, advanced debugging capabilities at different ...


ALINT-PRO™ is a design verification solution for RTL code focused on general issues analysis including: RTL and post-synthesis simulation mismatches, design coding for optimal synthesis, avoiding problems on further design stages, and coding for portability and reuse....
Emulation & Prototyping


HES-DVM™ is a fully automated and scriptable Hybrid Verification and Validation environment for SoC and ASIC designs up to 633M ASIC gates capable of bit-level simulation acceleration, SCE-MI 2.1 transaction emulation, hardware prototyping, and virtual modeling. Utilizing the latest in co-emulation ...


The HES Proto-AXI™ software package, when combined with our HES™ prototyping boards, provides an efficient and robust environment for rapid design prototyping and/or algorithm accelerator development and bring-up. ...

HES™ Boards

HES™ is a feature-rich family of SoC/ASIC pre-silicon physical prototyping and hardware emulation boards. The family features boards with high-performance devices from either Xilinx (including Virtex-7, Virtex UltraScale, Virtex UltraScale+ and Zynq UltraScale+) or Microchip (PolarFire and SmartFusion2)....

TySOM Boards

TySOM™ is a family of embedded system prototyping boards. Depending on the board, one of three FPGAs will be at its heart: a Xilinx Zynq® UltraScale+™, a Xilinx Xilinx Zynq-7000 or a Microchip PolarFire SoC. The boards are compatible, through industry standard interfaces (FMC or BPX), with Aldec’s wide range daughter cards, making Aldec’s TySOM embedded prototyping boards ideal for the rapid development of applications that include automotive (and ADAS, in particular), artificial intelligence (AI), machine learning (ML), embedded vision, embedded-HPC (including edge-processing), IoT, IIoT and industrial automation....

Daughter Cards

Daughter cards provide extensions to HES or TySOM boards providing additional devices and peripherals not included in these boards. Due to using non-proprietary connectors like FMC or BPX the daughter cards can be reused across different hardware platforms....

RTAX/RTSX Adaptor Boards

Aldec and Microchip have joined together, offering a new, innovative, reprogrammable prototyping solution for Microchip RTAX-S/SL and RTSX-SU space-flight system designs....

RTAX/RTSX Netlist Converter

The RTAX EDIF Netlist Converter performs automatic conversion of the RTAX-S/SL EDIF netlist to a ProASIC3E netlist, which means replacement of the primitives has to be done, with consideration of the limitations (differences between RTAX-S/SL anti-fuse and ProASIC3/E flash-based technologies). A pin remapping utility allows automatic Physical Design Constraint (PDC) file conversion which eliminates the need for additional and time consuming manual work......

HES-DVM Proto Cloud Edition

HES-DVM Proto CE is a Cloud Edition of Aldec’s HES-DVM software product used for design compilation and partitioning into multi-FPGA prototyping platform. It is available from Amazon AWS Marketplace as an Amazon Machine Image (AMI) built upon the Amazon Linux image as a base with preinstalled Aldec HES-DVM software. The HES-DVM Proto CE combines Electronic Design Automation software for design partitioning and compute platform scalability of Amazon Elastic Compute Cloud (Amazon EC2)....


The TySOM™ Embedded Development Kit is for the embedded designer who needs a high-performance RTL simulator/debugger for their embedded applications such as IoT, Factory Automation, UAV and Automotive....
Mil/Aero Verification


Spec-TRACER™ is a unified requirements lifecycle management application designed specifically for FPGA and ASIC designs. Spec-TRACER facilitates requirements capture, management, analysis, traceability and reporting ...


DO-254/CTS™ is a certifiable at-speed FPGA level in-target testing system for Levels A and B DO-254 designs. It enables reuse of the simulation testbench as test vectors for in-target...
VIP/IP Products

VIP/IP Products

Aldec and its partners provide reusable design IP cores and verification IP that has been validated with Aldec's Active-HDL and Riviera-PRO mixed-language simulators. These robust IP
Ask Us a Question
Ask Us a Question
Captcha ImageReload Captcha
Incorrect data entered.
Thank you! Your question has been submitted. Please allow 1-3 business days for someone to respond to your question.
Internal error occurred. Your question was not submitted. Please contact us using Feedback form.
We use cookies to ensure we give you the best user experience and to provide you with content we believe will be of relevance to you. If you continue to use our site, you consent to our use of cookies. A detailed overview on the use of cookies and other website information is located in our Privacy Policy.