デジタル設計検証
大規模・先端デザインに対応した統合ECOツール
Tweaker
- TweakerはECOフェイズにおけるすべてのインクリメンタル処理をサポート
- ・各種ECO機能:Functional ECO, Timing ECO, Metal ECO, Power ECO, Clock ECO
- 特長
- ・100Mインスタンスを超える大規模データにも対応可能な高速処理
- ・300以上のコーナー条件に対応するマルチモード・マルチコーナー処理
- ・最小のECOセルで変更箇所を最小化
- ・STAやP&Rツールとの相互動作でECOイタレーションの短縮を実現


タイミング例外(SDC)生成・検証
Focus/Confirm/Refocus

- 複雑化するSDCのサインオフの実現
- SDCのフォーマル検証
- ・Assertion と組み合わせたSoC,IPのサインオフ
- 1) Clock Verification
- 2) Generated Clock Waveform Verification
- 3) Datapath False Path Verification
- 4) Multi-Cycle Path Verification
- SDC生成
- ・RTLからClock定義、例外制約の自動生成
- ・SDCのモードマージによるP&R高速化
- SDC管理
- ・IPから、チップへの制約のマッピング
- ・SDCの等価性検証
- WEBベースのデバッグ環境