But I see now: there is 2089 mantis that address exactly this issue and it has 'resolved' status. And at the same time it is on a list for discussion by a new P1800 comittee ... Mirek _____ From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com] Sent: 7 kwietnia 2008 12:28 To: Mirek Forczek; sv-ec@server.eda.org Cc: sv-ac@eda.org Subject: RE: [sv-ec] 1900 mantis (checkers): final (final_check ?) in checker ? Hi Mirek, There is no apparent need in final_check, since concurrent assertions cannot be put in final procedures, and the only goal of the ._check procedures is to provide specific clock inference rules for concurrent assertions. Thanks, Dmitry _____ From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On Behalf Of Mirek Forczek Sent: Monday, April 07, 2008 1:21 PM To: sv-ec@server.eda.org Subject: [sv-ec] 1900 mantis (checkers): final (final_check ?) in checker ? Hi, In "16.18.5 Checker procedures" section of the proposal there is: "The following procedures are allowed inside a checker body: - initial_check procedure, and - always_check procedure" Anybody wondered about having final (final_check ?) procedure too ? Regards, Mirek --------------------------------------------------------------------- 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 <http://www.mailscanner.info/> MailScanner, and is believed to be clean. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Apr 7 05:50:28 2008
This archive was generated by hypermail 2.1.8 : Mon Apr 07 2008 - 05:51:06 PDT