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

IRUN command to change the Assertion severity level

$
0
0

Hi,

   I'm new to assertions and i've written the following property in my interface.

  property p1;

    @(posedge clk) (data == 2'h2) ##[1:6]  (data1 == 2'h2);

 endproperty

always@(posedge clk) assert property (p1);

When i run; the simulation is suddenly stops after the first assertion failure. I want to change the severity of assertion from ERROR to warning.

Please help in this regard?

REGARDS,

MAHEE

 


Viewing all articles
Browse latest Browse all 1069

Trending Articles



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