Re: [sv-ac] #1674: $inferred...

I have re-review mantis 1674,

as for the sentence:

"The reset value is inferred for assertions a1 and a3 from the default 
disable statement, and it is equal
to rst1 and rst, respectively. "

I think for assertion a3 the reset value isn't inferred from the default 
disable but from the always block.

missing bracket in the end of the assertion (the equivalent to part):

a4: assert property (@(negedge clk2) a ##1 @(negedge clk1) b |=>
@(posedge clk1) c ##1 @(posedge clk1) d;


Regards,
Yaniv


Eduard Cerny wrote:
> Hi, 
> I have uploaded an updated version of 1674. Also attached here.
> Best regards,
> ed
>
>   

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.