Aldec - Products

FPGA and ASIC Verification Products

	Design Creation	Verification	Specialty Solutions
FPGA Verification
Active-HDL 7.3 SP1	Schematic / Block Diagram Editor HDL Text Editor State Machine Editor FPGA Project Management IP Core Generator Code to Graphics Testbench Generation Documentation (HTML/PDF)	VHDL Simulation Verilog Simulation SystemC SystemVerilog Code Coverage	MATLAB/Simulink Co-Simulation Verification IP HDL Regression Manager	Download Configurations Brochure (.pdf) Read More
ASIC/FPGA Verification
ALINT 2008.06		Design Rule Checker (LINT)		Download Configurations Brochure (.pdf) Read More
Riviera-PRO 2008.06	HDL Text Editor Testbench Generation	VHDL Simulation Verilog Simulation SystemC SystemVerilog Assertions (PSL, SVA and OVA) Code Coverage Design Rule Checker (LINT)	MATLAB/Simulink Co-Simulation Verification IP HDL Regression Manager	Download Configurations Brochure (.pdf) Read More
In-Hardware Verification
HES 2008.03		Acceleration/Emulation Prototyping	In-Hardware Simulation NIOS II Co-Verification ARM Co-Verification	Download Configurations Brochure (.pdf) Read More
Specialty Solutions
Actel RTAX-S/SL Prototyping			Actel RTAX Prototyping	Download Brochure (.pdf) Read More
DO-254/CTS			In-Hardware Simulation DO-254 Compliance	Download Brochure (.pdf) Read More
IP Products
IP Products	IP Core Generator		Verification IP	Read More