I use the PicoBlaze-block from System Generator for communication with an external devices (analog-to-digital-converter) via SPI. To simulate the communication between PicoBlaze and ADC I created a VHDL model of the ADC and imported it as a Black Box in my Simulink model. This model includes some assert commands to check timing constraints like:
assert ((rising_edge2-rising_edge1) > min_period)
report "Timing violation"
In the Black Box I set the simulation mode to "ISE Simulation". The problem is, that I don't get any error reports during simulation when violating any of the timing constraints. With simulation mode set to "External Co-Simulator" using ModelSim, error reports are displayed. But ModelSim is far to slow to run the complete smulation (would take some hours).
Is there a way to enable the output of error reports during ISE Simulation (maybe the output in a log-flile)?