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

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 1088

Trending Articles