SDCマージによるP&Rツールの処理時間短縮
SDCの検証による設計手戻りの防止
RTLのSDCからゲートレベルのSDCへの自動変換

・マルチモードSDCの生成（各モードのSDCの統合)

・P&R前後のSDCの等価性検証

・フォーマル、および、アサーションベースのタイミング例外の生成

・HTMLビューワによるわかりやすいRTL、SDC解析

詳細情報はこちら