Sorry, Wrong Committee Radek _____ From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Radosław Nawrot Sent: Wednesday, September 03, 2014 4:24 PM 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 <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 Wed Sep 3 07:30:29 2014
This archive was generated by hypermail 2.1.8 : Wed Sep 03 2014 - 07:30:31 PDT