基本的な UCF 制約を、Vivado 環境で使用するために XDC に変換する方法を説明します。