Please note that JavaScript and style sheet are used in this website,
Due to unadaptability of the style sheet with the browser used in your computer, pages may not look as original.
Even in such a case, however, the contents can be used safely.
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.