Hi,
I am trying to generate some illegal AHB transactions to test how the DUT behaves.
For example, I generated a WORD transaction, then changed the 4-byte aligned address to one that did not align.
I have turned off the checkers in both the master agent and the slave agent by keeping has_check == FALSE;
However, when running the simulation, I still got a constraint contradiction saying that,
*** Error: Contradiction at time 90000, when generating burst (of type vr_ahb_master_driven_burst)
The test was terminated right after this, so it failed to do the job.
Any ideas how to do this?
Thanks in advance.