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

Hi Eduard,

It looks good.

Tom

Eduard Cerny wrote On 04/04/07 11:10,:
> 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
>>------------------
>>
> 
> 

-- 
------------------
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.