CyberWorkBenchは、C言語を用いたシステムLSI設計を支援するためのLSI設計環境です。この環境は、動作合成、サイクル精度モデルでの検証や形式検証などを含んでいます。