RE: [sv-ac] RE: 1729 proposal suggestions

I see, I will change it.
Thanks,
ed
 


________________________________

	From: Bassam Tabbara [mailto:bassamt@synopsys.COM] 
	Sent: Tuesday, April 17, 2007 2:25 PM
	To: Eduard Cerny; Lisa Piper; sv-ac@eda-stds.org
	Subject: RE: [sv-ac] RE: 1729 proposal suggestions
	
	
	Ed, the changes to Annex I are incorrect.  [Rest of VPI addition
is fine]
	 
	- vpiCover/Assume/Assert are already there and these do refer to
concurrent Assertions.
	 
	The change should be as follows:
	#define vpiImmediateAssert 665
	#define vpiImmediateAssume editor to fill
	#define vpiImmediateCover  editor to fill

	Thx.
	-Bassam.
	 

________________________________

	From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf
Of Eduard Cerny
	Sent: Tuesday, April 17, 2007 11:09 AM
	To: Lisa Piper; sv-ac@eda-stds.org
	Subject: [sv-ac] RE: 1729 proposal suggestions
	
	
	Hi Lisa et al,
	 
	Please find attached and uploaded a modified proposal for 1729.
The change consists of coloring the text, hopefully in the appropriate
way (although I am not that sure).
	 
	ed


________________________________

		From: Lisa Piper [mailto:piper@cadence.com] 
		Sent: Tuesday, April 10, 2007 10:30 PM
		To: Eduard Cerny
		Subject: RE: 1729 proposal suggestions
		
		

		Hi Ed,

		 

		I have to apologize. I missed seeing this in my email.
It looks good to me!  Thanks very much.  The only thing I don't see is
the color coding for new text.

		 

		Lisa

		 

		
________________________________


		From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com] 
		Sent: Wednesday, March 28, 2007 10:36 AM
		To: Lisa Piper; Eduard.Cerny@synopsys.com
		Subject: RE: 1729 proposal suggestions

		 

		Hello Lisa,

		 

		I tried to take into account your suggestions. Please
have a look if you agree with the changes. There is still the question
about vpi, I thought that we could just leave it as part of assertions
in general, i.e., I just removed the word "concurrent" in Annex I. Or
did I miss something more?

		Let me know whether you agree with the proposal now in
which case I'd deposit it on Mantis.

		 

		Best regards,

		ed

			 

			
________________________________


			From: Lisa Piper [mailto:piper@cadence.com] 
			Sent: Wednesday, March 21, 2007 6:09 PM
			To: Eduard.Cerny@synopsys.COM
			Subject: 1729 proposal suggestions

			Hi Ed,

			 

			My feedback is attached. It is all word-smithing
primarily, except the question of whether an attempt counter is desired
for an immediate cover and whether there might be an impact on VPI's
from chapter 29.  I think anything in chapter 29 that would apply to a
concurrent assertion would also apply to an immediate assertion.  I
don't know if we need to be explicit about that or not.

			 

			lisa


	-- 
	This message has been scanned for viruses and 
	dangerous content by MailScanner <http://www.mailscanner.info/>
, and is 
	believed to be clean. 


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