Quantcast
Channel: Cadence Functional Verification Forum
Viewing all articles
Browse latest Browse all 1074

How to generate illegal AHB transactions using eVC

$
0
0

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.


Viewing all articles
Browse latest Browse all 1074

Trending Articles



<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>