入力遅延の定義方法、入力ポートに制約を付ける方法、入力タイミングの解析方法について説明します。