タイミング例外（SDC)生成・検証  Focus/Confirm/Refocus
SDCマージによるP&Rツールの処理時間短縮 SDCの検証による設計手戻りの防止 RTLのSDCからゲートレベルのSDCへの自動変換 マルチモードSDCの生成（各モードのSDCの統合) P&R前後のSDCの等価性検証 フォーマル、および、アサーションベースのタイミング例外の生成 HTMLビューワによるわかりやすいRTL、SDC解析
カタログ等の資料請求は、下記ボタンから資料請求フォームに入力のうえ送信をお願いいたします。