RE: [sv-ac] mnatis item #1648 - new proposal uploaded

Hi all,

I have uploaded an updated proposal to Mantis. 

Best regards,
ed
 

> -----Original Message-----
> From: Thomas.Thatcher@Sun.COM [mailto:Thomas.Thatcher@Sun.COM] 
> Sent: Friday, March 30, 2007 4:36 PM
> To: Eduard Cerny
> Cc: sv-ac@eda-stds.org
> Subject: Re: [sv-ac] mnatis item #1648 - new proposal uploaded
> 
> Hi Eduard,
> 
> I have reviewd the new proposal for Mantis 1648, and it looks 
> good.  The only
> change I would make is to change the wording of the comment 
> in one example
> 
> >	// as @(posedge clk) !rst |-> (a |=> b)
> 
> Change to
> 
> 	// Assertion a8 is equivalent to @(posedge clk) !rst 
> |-> (a |=> b)
> 
> Tom
> 
> Eduard Cerny wrote On 03/29/07 08:03,:
> > I removed inference of disable iff condition from always blocks.
> > ed
> > 
> 
> -- 
> ------------------
> Thomas J. Thatcher
> Sun Microsystems
> 408-616-5589
> ------------------
> 

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