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

Yaniv,

I have made the corrections. The first mistake is that a part of the
sentence was lost somewhere along the way... It should have been
"The reset value is inferred for assertions a1 and a3 from the default 
disable statement and always block, and it is equal
to rst1 and rst, respectively. " 
Which I rewrote in more (I hope) understandable way.

Best regards,
ed

> -----Original Message-----
> From: Fais Yaniv [mailto:yaniv.fais@freescale.com] 
> Sent: Wednesday, March 14, 2007 6:02 AM
> To: Eduard Cerny
> Cc: sv-ac@eda-stds.org
> Subject: 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.