Subject: [sv-cc] FW: sv_vpi_user.h revision + some comments
From: Joao Geada (Joao.Geada@synopsys.com)
Date: Fri Feb 13 2004 - 11:36:37 PST
Resending, as the reflector seems to be having problems
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
==============================================================================
-----Original Message-----
From: Joao Geada [mailto:joao@synopsys.com]
Sent: Thursday, February 12, 2004 9:50 PM
To: Sv-Cc
Cc: Swapnajit Mittra; Ghassan Khoory
Subject: sv_vpi_user.h revision + some comments
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:35:47 PST