別のチャネルを選択しても、外部チャネル名がアップデートされません。
これは既知の問題であり、今後のリリースで修正される予定です。この問題に関してさらにサポートが必要な場合は、ウェブ ケースを開いてください。
http://japan.xilinx.com/support/clearexpress/websupport.htm