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, and is believed to be clean.Received on Wed Sep 3 07:24:51 2014
This archive was generated by hypermail 2.1.8 : Wed Sep 03 2014 - 07:25:07 PDT