[sv-cc] FW: sv_vpi_user.h revision + some comments


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