Euclide

Euclideの活用により、設計者は、複雑なHDLコードやテストベンチのSystemVerilogならびにUniversal Verification Methodology（UVM）コンプライアンス・チェックが可能となるため、開発サイクルの早い段階でバグを特定でき、設計/検証フローに向けて最適化されたコード開発が可能となる。

Euclideは、コンテキストに則した自動補完機能/コンテント・アシスト機能により、短期間でのCorrect-by-Construction方式のコーディングを可能にする。これらの機能は、シミュレータのVCS®、デバッグ環境のVerdi®、 エミュレータのZeBu®向けにチューンされているため、開発プロジェクト全体にわたってコード品質を改善することができる。

また、柔軟性の高いインクリメンタル・コンパイル/エラボレーション/疑似シンセシス/コーディングルール・チェックの機能も提供している。これらの機能はエディット環境に組み込まれており、検証エンジニアは数秒で結果のフィードバックを取得できる。インプリメンテーション時の障害になるRTLやテストベンチのバグを最小化できるため、不完全なコードを根絶して開発プロジェクトの成功率を高めることができる。