From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Rados?aw Nawrot Sent: Wednesday, September 03, 2014 17:24 To: sv-ec@eda.org Subject: [sv-ec] Expect stmt in assertion api Hi, I have a question: If $assertcontrol tasks can work with expect stmt (see LRM Table 20-6) why vpi_control cannot do the same? Expect stmt is not a part of assertion class in vpi diagrams so handle to exprect stmt is not an assertion handle from 39.5.2. Should we treat exprect stmt as a part of assertion class? What about unique and unique0? IMHO vpi_control in assertion API should concern assertion handle and some stmt handle (which are not an assertions ) Berst regards, Radek -- 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 Wed Sep 3 07:30:35 2014
This archive was generated by hypermail 2.1.8 : Wed Sep 03 2014 - 07:30:37 PDT