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.
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.