ソリューション
回避策:
DRAM_ODT_reg (0xF8006048) のビット [0] に 0 を書き込むと、この動作を回避できます。
このためには、ps7_init.tcl および ps7_init.c ファイルを変更し、このビットを実際にクリアにするため書き込みマスクをイネーブルにします (これはシリコンでデフォルトでイネーブルになっている)。
たとえば、ps7_init.c の次の行を検索し、
EMIT_MASKWRITE(0XF8006048, 0x0003F000U ,0x0003C000U),
次のように変更します。
EMIT_MASKWRITE(0XF8006048, 0x0003F03FU ,0x0003C008U),
0x8 という値は、シリコンのデフォルト値である、ビット [3] の 1 を表しており、もっと明確になっています。これはソフトウェアの新しいバージョンに含まれる修正と同じです。
この問題は、Vivado 2014.3 で修正されています。