RE: [sv-bc] The text in section 9.4.3.2 misplaced from merge

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Sun May 11 2008 - 23:35:48 PDT
Dave,
 
I largely agree with you. 
 
In 1800-2005, this was all part of a subclause called "Event control".
 
I did not go over this entire subclause, but I think that the first
sentence you quoted can be simply deleted. 9.4.2 already says, 
The event can also be based on the direction of the change, that is,
toward the value 1 (posedge) or toward the value 0 (negedge). The
behavior of posedge and negedge events is shown in Table 9-2 and can be
described as follows:

- A negedge shall be detected on the transition from 1 to x, z, or 0,
and from x or z to 0
- A posedge shall be detected on the transition from 0 to x, z, or 1,
and from x or z to 1

Thanks,
Shalom

________________________________

	From: owner-sv-bc@server.eda.org
[mailto:owner-sv-bc@server.eda.org] On Behalf Of Rich, Dave
	Sent: Monday, May 12, 2008 7:58 AM
	To: sv-bc@server.eda.org
	Subject: [sv-bc] The text in section 9.4.3.2 misplaced from
merge
	
	

	The text in section 9.4.2.3 starting with

	 

	If a variable is not of a 4-state type, then posedge and negedge
refer to transitions from 0 and to 0, respectively.

	 

	until the end of that section (including the example) seems to
be misplaced. It should be at the end of 9.4.2 before 9.4.2.1.

	 

	This seems to be a merge related issue. Mantis 2383.

	 

	David Rich
	Verification Technologist
	Design Verification & Test Division
	Mentor Graphics Corporation
	dave_rich@mentor.com
	Office:   408 487-7206
	Cell:     510 589-2625

	 


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

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Sun May 11 23:42:20 2008

This archive was generated by hypermail 2.1.8 : Sun May 11 2008 - 23:42:55 PDT