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