RE: [sv-ac] xref question

I would think that 9.4.5 is a better reference.
 
ed


________________________________

	From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf
Of Bresticker, Shalom
	Sent: Wednesday, July 11, 2007 7:58 AM
	To: sv-ac@eda-stds.org
	Subject: [sv-ac] xref question
	
	
	Hi,
	 
	1800-2005, 17.12.6 (Sequence methods) has a cross-reference to
10.11:
	 
	The value of method triggered evaluates to true if the given
sequence has reached its end point at that particular

	point in time and false otherwise. The triggered status of the
sequence is set in the Observe region and

	persists through the remainder of the time step. This method
shall only be used in wait statements or boolean

	expressions (see 10.11) outside of sequence context or in the
disable iff boolean expression for properties.

	It shall be considered an error to invoke this method on
sequences that treat their formal arguments as

	local variables. A sequence treats its formal argument as a
local variable if the formal argument is used as an

	lvalue in operator_assignment or inc_or_dec_expression in
sequence_match_item.

	 

	Now in P1800/D3a, the new Sequence methods section, 16.13.6, has
the reference to 9.4.4 whereas the section corresponding to the old
10.11 is now 9.4.5.

	Which is a better xref here, 9.4.4 or 9.4.5?

	Thanks,

	Shalom

	 

	Shalom Bresticker

	Intel Jerusalem LAD DA

	+972 2 589-6852

	+972 54 721-1033

	 


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