Dear Sir or Madam,
Is it possible to provide the default/factory bitstreams for both Nexys 4 and Nexys 4 DDR boards?
Sometimes students need to reprogram the board’s FLASH, but it is useful to restore the factory configuration.
Thank you for your attention.
Best regards
Arnaldo Oliveira