[sv-ec] Expect stmt in assertion api

From: Radosław Nawrot <Radoslaw.Nawrot@aldec.com.pl>
Date: Wed Sep 03 2014 - 07:23:54 PDT
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