у ксайлинса смотреть xapp779 (как раз для V II)
там проблема (по-моему) в том, что у космических, которые XQR отсутствует внутренний порт ICAP, он в каких-то последних версиях коммерческих появился (я вообще с V II не работал - как-то мимо прошло - могу путать), то есть для проверки от сбоев должен быть внешний контроллер, который по SelectMAP подключен к ПЛИС
по поводу взять виртекс 5 - дык хтож его дасть

а V II видно забили склады еще при старом режиме - мне постоянно их предлагают взять вместо 5х или 4х
по поводу TMR - у правильных пацанов все есть (спрашивайте в соседних отделах

), только для V II ISE должна быть то ли 10-ка, то ли еще младше