ASSERTION AFTER RESET

[terabits]

Hi

Is there anyway that i can start my assertions after reset is given
till the end of simulation.
in simple words before reset is issued my assertions should not be
fired.

rgds....

 

[terabits]

property p1;
@(posedge clk)
$fell(hreset) ##0 (xyz) > `ADDR) throughout $stable(hreset) ;
endproperty

my intension is to see the xyz is never greater than ADDR after first
occurance of reset !!!



is the code correct ????

 

[dbwalker0min@gmail.com]

How about something like...

property p1;
@(posedge clk)
hreset || xyz > `ADDR;
endproperty

David Walker

On Feb 21, 2:29 pm, "terabits" <tera.b...@gmail.com> wrote:

property p1;
@(posedge clk)
$fell(hreset) ##0 (xyz) > `ADDR) throughout $stable(hreset) ;
endproperty

my intension is to see the xyz is never greater than ADDR after first
occurance of reset !!!

is the code correct ????

 

[terabits]

property p1;
@(posedge clk)
hreset || xyz > `ADDR;
endproperty

you are considering during reset or when xyz > haddr ?
my assertin should not fire during reset also....
right now i used assert off and asser on before and after calling the
reset task.....i know itz a work around....