Subject: [sv-cc] sv_vpi_user.h revision + some comments
From: Joao Geada (Joao.Geada@synopsys.com)
Date: Thu Feb 12 2004 - 18:49:51 PST
Hi all,
attached is the updated sv_vpi_user.h following my review. The following updates
have been made:
- added all the runtime assertion VPI definitions from section 28
- added all the runtime coverage VPI definitions from section 29
- added the VPI reader extension from section 30 (thanks Bassam)
- assigned numeric ids to all the constants:
        500-650:	SV VPI model extensions
        650-699:	coverage
        700-799:	assertions
        800-899:	reader extensions
In addition, I found a couple of missing operators and added them to
the list:
- the 2 streaming operators {<< and {>>
  NOTE: the operands for the streaming operator are as given in the BNF,
        so no additional corrections needed elsewhere
  NOTE2: Yes, I know that as defined in the BNF stream operator is not strictly
         the character sequence {<<, but for the purposes of the header this is
         good enough.
         
- the sequence .matched and .ended operations
Joao
==============================================================================
Joao Geada, PhD             Principal Engineer                Verif Tech Group
Synopsys, Inc                                              TEL: (508) 263-8083
377 Simarano Drive, Suite 300,                             FAX: (508) 263-8069
Marlboro, MA 01752, USA
==============================================================================
This archive was generated by hypermail 2b28 : Fri Feb 13 2004 - 14:19:58 PST