初期設定では、TimeQuest タイミング・アナライザはクロックのシングル・サイクル期間でタイミング解析を実行します。 パスのタイミングを解析する際に、すなわちセットアップやラッチされるエッジを検証する際には、関連する波形のうちで最も近い2つのアクティブ・エッジを対象にしてタイミング解析が行われます。 ホールド解析の場合、タイミング・アナライザはワーストケースのセットアップだけでなく、可能なすべてのセットアップに対して、2つのタイミング条件についてパスを解析します。 したがって、ホールド検証時のエッジ検証は、セットアップ検証時のエッジとは独立して検証されます。
ソース （-start）クロックまたはディスティネーション（-end）クロックにマルチサイクル制約が指定された場合、セットアップまたはホールド検証の厳しさが、指定クロック・サイクル数だけ緩和されます。 例えばマルチサイクル制約に 2 が設定された場合、通常のワースト・ケースのセットアップを検討するラッチ・エッジよりも１クロック周期ぶんセットアップ検証が緩和されます。
ホールド・マルチサイクル制約は、デフォルトのホールド位置に基づきます（デフォルト値は 0）。 ホールドのマルチサイクル制約として 1 とした場合、デフォルトのホールド・ラッチ・エッジから実質 1 クロック周期ぶんホールドの検証を緩和します。マルチサイクル制約ｋは set_multicycle_path コマンドを使用します。 以下のリストに、set_multicycle_path コマンドと利用可能なオプションを示します。
set_multicycle_path
[-setup | -hold]
[-start | -end]
[-from <from list>]
[-to <to list>]
[-thru <thru list>]
<path multiplier>
表 1 は set_multicycle_path コマンドのオプションを説明したものです。
| 表 1. set_false_path コマンドのオプションの説明 | |
| オプション | 説明 |
|---|---|
-setup | -hold |
適用するマルチサイクルのタイプを指定します。 |
-start | -end |
スタート・クロックまたはエンド・クロックが、マルチサイクルのソース（送り出し側）またはディスティネーション（取り込み側）のいずれになるかを指定します。 |
-from <from list> |
<from list> はデザイン内のオブジェクト（タイミング検証の対象）のコレクション（抽出）またはリストです。<from list> はパスの起点になります。 |
-to <to list> |
<to list> はデザイン内のオブジェクトのコレクションまたはリストです。<to list> はパスの終点になります。 |
-thru <thru list> |
<thru list> はデザイン内のオブジェクトのコレクションまたはリストです。<thru list> はパスの通過点になります。 |
<path multiplier> |
マルチサイクルの乗算値を指定します。 |
オブジェクトがタイミング・ノードのとき、マルチサイクル制約は 2つのノード間のパスにのみ適用されます。 オブジェクトがクロックのとき、マルチサイクル制約はソース・ノード（-from で指定）またはディスティネーション・ノード（-to で指定）がクロックでドライブされるすべてのパスに適用されます。
関連リンク
- オンライン・トレーニング （英語）
- TimeQuest タイミング･アナライザ 操作チュートリアル （英語）
