タイミング サマリ レポートには、設定されている制約と比較したデザインのタイミング特性に関する情報が示されます。デザインのサインオフでは、タイミング サマリの次の値を確認します。
- トータル ネガティブ スラック (TNS)
- デザイン全体または特定のクロック ドメインに含まれる各終点のセットアップ/リカバリ違反の合計。ワースト セットアップ/リカバリ スラックは、WNS (ワースト ネガティブ スラック) です。
- トータル ホールド スラック (THS)
- デザイン全体または特定のクロック ドメインに含まれる各終点のホールド/リムーバル違反の合計。ワースト ホールド/リムーバル スラックは、WHS (ワースト ホールド スラック) です。
- トータル パルス幅スラック (TPWS)
- デザイン全体または特定のクロック ドメインに含まれる各クロック ピンの、次のチェックにおける違反の合計。
- 最小 Low パルス幅
- 最小 High パルス幅
- 最小周期
- 最大周期
- 最大スキュー (同じ最下位セルの 2 つのクロック ピン間)
- ワースト パルス幅スラック (WPWS)
- クロック ピンのパルス幅、周期、またはスキュー チェックすべてのワースト スラック。
トータル スラック (TNS、THS、または TPWS) は、デザインの違反のみを反映します。すべてのタイミング チェックが満たされると、トータル スラックはヌルになります。
タイミング パス レポートには、各タイミング チェックで論理パスのスラックがどのように算出されたかの詳細情報も示されます。完全に制約されたデザインでは、各パスに 1 つまたは複数の要件があり、関連のロジックが正しく機能するためにはそれらの要件がすべて満たされる必要があります。
WNS、TNS、WHS、および THS で示される主なチェックは、シーケンシャル セルの機能要件から求められます。
- セットアップ タイム
- 新しいデータが正しく取り込まれるために、次のアクティブ クロック エッジの前に新しいデータが安定していなければならない時間。
- ホールド要件
- 無効な値が取り込まれないように、アクティブ クロック エッジ後にデータが安定したままでいなければならない時間。
- リカバリ タイム
- 非同期リセット信号が非アクティブ ステートにトグルされてから次のアクティブ クロック エッジまでに必要な最小時間。
- リムーバル タイム
- 非同期リセット信号を問題なく非アクティブ ステートにトグルできる、アクティブ クロック エッジからの最小時間。
同じクロック ネットに接続された 2 つのフリップフロップ間のパスが、その単純な例です。
クロック ネットにタイミング クロックを定義すると、タイミング解析により、デスティネーション フリップフロップのデータ ピンで最悪だが妥当な動作条件におけるセットアップ チェックとホールド チェックのが実行されます。セットアップおよびホールド スラックの両方が正の場合、ソース フリップフロップからデスティネーション フリップフロップへのデータ転送が正しく実行されます。
タイミング解析の詳細は、 『Vivado Design Suite ユーザー ガイド: デザイン解析およびクロージャ テクニック』 (UG906) のこのセクションを参照してください。