What is the problem about "Varify failed"

As long as there is a data master connecting to the tightly coupled memory it should be readable (I'm talking about a tightly coupled or avalon connection).

Kvinna we need more information to determine what the problem is (for starters what memory type are you downloading to at 0x00000000?). Things to check are: making sure your I/O is properly assigned, clocks in the design are correct, you have your system library project pointing at the memory you expect for compilation, etc....