チェックポイントの名前を変更するには
1. チェックポイントツリーでチェックポイントを選択し、以下のいずれかの手順を使用します。
◦ チェックポイントツリーで
1. 右クリックして「名前変更」(Rename) を選択します。
2. ボックスに新しい名前を入力します。
◦ 「チェックポイントプロパティ」(Checkpoint Properties) ダイアログボックスで
1. ![](../design_exploration/images/checkpoint_property16x16.png)
をクリックします。
「チェックポイントプロパティ」(Checkpoint Properties) ダイアログボックスが開きます。
2. 「名前」(Name) ボックスに新しい名前を入力します。
3. 「OK」をクリックします。