Common Functionality

Behavioral Synthesizer

Generate RTL automatically from ANSI-C language with extensions for hardwares.

Integrated Design Environment（Graphical User Interface)

Integratedly support for synthesis, verification, and analysis in design processes.

Behavior Level Model Generator

Generate a fast simulation model for verification of algorithm in bit-accurate level.

Cycle Level SystemC Model Generator

Generate a fast simulation model in SystemC for verification of algorithm in cycle-accurate and bit-accurate level.

RTL Testbench Generator

Generate a test bench for RTL verification with inputs used in behavioral simulator.

RTL generator

Generate Verilog-HDL/VHDL for logic synthesis.

Overflow Checker

Code checker for possible overflow in input description.

Option

Bus Interface Generator Standard CPU bus I/F generator (AMBA-AHB/AXI)

Generate behavioral description for standard bus interface (AMBA). AMBA-AHB and AMBA-AXI are supported as an option.

RTL Generator

Generate Verilog-HDL/VHDL for logic synthesis. If you need both Verilog-HDL/VHDL, you have to purchase this option.

RTL Input

Generate cycle accurate model from synthesizable Verilog-HDL/VHDL.

SystemC Input

Synthesize from SystemC language input.

C Level Property Checker

Verify properties and assertions based on C source.

Cycle Level Verilog Model Generator

Generate a fast simulation model in Verilog-VHDL for verification of algorithm in cycle-accurate and bit-accurate level.

Source Code Debugger

A source code debugger capable of cycle level debugging using cycle level Verilog-HDL model.