Products Overview

FPGA Simulation
Active-HDL™

Active-HDL

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 verification of...
Functional Verification
Riviera-PRO™

Riviera-PRO

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 levels of...
ALINT™

ALINT

ALINT™ design analysis tool decreases verification time dramatically by identifying critical issues early in the design stage. Smart design rule checking (linting) points out coding style, functional, and structural problems that are extremely difficult to debug in simulators and prevents those issues from spreading into the ...
ALINT-PRO-CDC™

ALINT-PRO-CDC

ALINT-PRO-CDC™ is a design verification solution focused on clock domain crossings analysis and handling of metastability issues in complex, modern multi-clock designs. The tool uncovers critical problems during the RTL Design and Functional Verification stages, significantly reducing time to market....
High-Level Synthesis

CyberWorkBench

CyberWorkBench® enables higher design efficiency, low power and high performance of the chip by allowing designers to implement hardware at the algorithmic level. This “All-in-C” high-level synthesis and verification tool set for ASIC and FPGAs (Xilinx/Altera) reduces the development time and cost significantly....
Emulation
HES™

HES-DVM

HES-DVM™ is a fully automated and scriptable Hybrid Verification and Validation environment for SoC and ASIC designs up to 96M 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 standards, hardware...
Requirements Management
Spec-TRACER™

Spec-TRACER

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 ...
Mil/Aero Verification
DO-254/CTS™

DO-254/CTS

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...
Prototyping

HES-7

HES-7™ provides SoC/ASIC hardware verification and software validation teams with a scalable and high quality FPGA-based ASIC prototyping solution backed with an industry leading ...
RTAX and RTSX Prototyping.

RTAX and RTSX Prototyping

Aldec and Microsemi have joined together, offering a new, innovative, reprogrammable prototyping solution for Microsemi RTAX-S/SL, RTAX-DSP and RTSX-SU space-fight system designs....
VIP/IP Products
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