NEC has released three new CyberWorkBench dedicated versions for FPGA designs: CyberWorkBench Professional, CyberWorkBench Standard and CyberWorkBench Basic.
CyberWorkBench is our C-based integrated environment for System LSI design. It has all the tools needed for efficient C-based design: a behavioral synthesizer, simulator, and formal verifier.

All the tools listed in Fig. 1 work together in our integrated design environment, for easy synthesis, analysis and verification.