クロックとリセットの自動検出Category : コア・メカニズムALINT-PRO™はクロックとリセットのネットワークのソースとそれらの関係性を自動で検出する機能があります。クロックには3種類あり、ひとつが非制約 (unconstrained) (クロックとリセットのソースがデザイン内部に見つかったがデザインの制約ファイルにはない)、もうひとつが正しい制約付き (properly constrained) (クロックとリセットのソースがデザイン内部に見つかり、デザインの制約ファイルにも記述あり)、そして最後が過制約 (over constrained) (クロックとリセットのソースがデザインの制約ファイルに記述されているが、ツールはそれを自動検出できない) です。デザイン内部で不要な制約や必要だが設定されていない制約を見つけやすくなります。