オレンジの?が消えて、黄色の三角か緑のチェックマークがつく。エラーの場合は赤のXマークがつく。黄色の三角はウォーニングがある場合だ。なっているので、period制約も満たしたことが分かる。次は、タイミングリポートを見てみよう。Designを展開する。あるので、それをダブルクリックする。Tipsダイアログが開く。OKボタンをクリックしてダイアログを閉じる。タイミングリーポートが見えて、タイミング制約が満足していることが分かる。