--- Quote Start ---
Unfortunately it will be some time till another machine is available
--- Quote End ---
That is ok, method (A) should work fine. You could at least try it :)
--- Quote Start ---
so I need to try and flash the board with the bit stream.
--- Quote End ---
This should also work fine. The only caveat is that the DE4 must configure within whatever time it takes for your PC's BIOS to start enumerating the PCIe bus, i.e., within 100ms.
--- Quote Start ---
ave you tried with flashing the board and configuring it from Flash.There are quite a few ways which have been given in the Board User manual but I didnt find them clear and generic. Would you have any pointers on where to start.
--- Quote End ---
I'd start with the user manual. If you get stuck, let me know, and I'll look at the user manual, I have it downloaded, but don't have time to look at it right now.
Cheers,
Dave