The SpartanMC SoC-Kit provides a cycle accurate simulator. It loads *.sph files which are also used for FPGA configuration. The simulator supports the usage of breakpoints and the inspection/modification of memory and register values. Furthermore, it provides statistics which can be used for application profiling.
For simple integration of peripheral devices the simulator includes a generic interface for memory mapped and DMA peripherals.