Generate RTL automatically from ANSI-C language with extensions for hardwares.
Integratedly support for synthesis, verification, and analysis in design processes.
Generate a fast simulation model for verification of algorithm in bit-accurate level.
Generate a fast simulation model in SystemC for verification of algorithm in cycle-accurate and bit-accurate level.
Generate a test bench for RTL verification with inputs used in behavioral simulator.
Generate Verilog-HDL/VHDL for logic synthesis.
Code checker for possible overflow in input description.
Generate behavioral description for standard bus interface (AMBA). AMBA-AHB and AMBA-AXI are supported as an option.
Generate Verilog-HDL/VHDL for logic synthesis. If you need both Verilog-HDL/VHDL, you have to purchase this option.
Generate cycle accurate model from synthesizable Verilog-HDL/VHDL.
Synthesize from SystemC language input.
Verify properties and assertions based on C source.
Generate peripheral circuits and softwares for emulation of circuits synthesized by CWB in LogicBench, which is an FPGA board of Hitachi Information & Communication Engineering, Ltd.
Generate a fast simulation model in Verilog-VHDL for verification of algorithm in cycle-accurate and bit-accurate level.
A source code debugger capable of cycle level debugging using cycle level Verilog-HDL model.