Content Comparison

...

04:00.0 Signal processing controller: Xilinx Corporation FPGA Card XC7VX690T
    Subsystem: Xilinx Corporation Device 0007
    Physical Slot: 0
    Flags: bus master, fast devsel, latency 0, IRQ 70
    Memory at fe300000<unassigned> (64-bit, non-prefetchable) [size=1Mdisabled]
    Memory at fe400000<unassigned> (64-bit, non-prefetchable) [size=64Kdisabled]
    Capabilities: <access denied>
    Kernel driver in use: amc525_lmbf

•   Michael Abbott Need to capture the above on a freshly booted system to correctly show unreachable registers
  

If we see this then the FPGA has been successfully loaded and the PCIe link is working correctly.  Alas, Note however that the PCIe IO memory cannot be mapped at this stage because it is too late for the BIOS to identify it: hence the Memory at <unassigned> lines (we see Capabilities: <access denied> merely because we're not running lspci as root).  Now reboot the processor card and re-run lspci -v and we should now see:

...