RE: [sv-ac] Mantis #1647: Updated proposal

Hi Erik,
 
thank you for catching this typo (cut&paste is dangerous sometimes). I
also corrected one more mistake (missing prop. prefix on the instance)
and deposited the corrected file on Mantis (also attached here).
 
Best regards,
ed
 



________________________________

	From: Seligman, Erik [mailto:erik.seligman@intel.com] 
	Sent: Wednesday, April 04, 2007 3:47 PM
	To: Eduard Cerny
	Cc: Korchemny, Dmitry
	Subject: RE: [sv-ac] Mantis #1647: Updated proposal
	
	


	Ed-- a quick question about Example 3. 

	property wuntil (p, q); 
	generate 
	        if ($isintegral(q)) begin : prop 
	                property weak_until(p, q); // simple
non-recursive form when q is integral 
	                !q[*1:$] |-> p; 
	                endproperty 
	        else begin : prop 
	                property weak_until (p, q); // recursive form
when q is sequence or property 
	                q or (p and (1'b1 |=> prop_weak_until (p, q))); 
	                endproperty 
	        end 
	endgenerate 
	weak_until(p, q); 
	endproperty 

	On the line in italics, why is it "|=> prop_weak_until" instead
of "|=>weak_until"?  Is this a typo, or are we required to include the
loop label as a prefix in this case for some reason?




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