[sv-cc] RE: [SystemVerilog P1800 0002572]: sv_vpi_user.h (Annex N source) needs repairs

From: Chuck Berking <berking_at_.....>
Date: Fri Jun 12 2009 - 08:11:02 PDT
Shalom (re. your comments)-
The following existing assignments:

#define vpiMulticlockSequenceExpr 658
#define vpiClockedSeq 659
#define vpiPropertyInst 660

..do not conflict with the new assignments to these numbers, since the
existing ones (above) are for objects/methods, and the new ones (e.g.
vpiObjId) are for properties, which can overload these values. I.e. they
are independent numbering schemes.

Similarly, the following:

#define vpiActual 700
#define vpiTypedefAlias 701
#define vpiIndexTypespec 702 

.. do not conflict with the assignments:

#define cbCreateObj 700
#define cbReclaimObj 701
#define cbEndOfObject 702

.. since the latter are callbacks, which are independently numbered from
the former (objects/methods).
Regards,
Chuck

-----Original Message-----
From: Accellera Mantis Bug Tracker [mailto:mantis@eda-stds.org] 
Sent: Friday, June 12, 2009 3:02 AM
To: Chuck Berking
Subject: [SystemVerilog P1800 0002572]: sv_vpi_user.h (Annex N source)
needs repairs


A NOTE has been added to this issue. 
======================================================================
http://www.eda-stds.org/svdb/view.php?id=2572
====================================================================== 
Reported By:                Chuck_Berking
Assigned To:                Chuck_Berking
====================================================================== 
Project:                    SystemVerilog P1800
Issue ID:                   2572
Category:                   SV-CC
Reproducibility:            always
Severity:                   major
Priority:                   high
Status:                     resolved
Type:                       Errata 
Resolution:                 fixed
Fixed in Version:           
====================================================================== 
Date Submitted:             2009-01-26 14:39 PST
Last Modified:              2009-06-12 00:01 PDT
====================================================================== 
Summary:                    sv_vpi_user.h (Annex N source) needs repairs
Description: 
There are various numbering problems in the existing header file that
would render it un-usable for application coding purposes.  There are
both numbering collisions, omissions, and errors:

1) vpiAllocScheme correction:

   #define vpiAllocScheme   4 --> 658

   WHY:
   My previous note suggested 656 for this, but 656 and 657 are already
taken:
      #define vpiOpStrong 656 /* strength of temporal operator */
      #define vpiIsDeferred 657

2) New dynamic object callback type corrections:

   #define cbCreateObj    606 --> 700
   #define cbReclaimObj   607 --> 701
   #define cbEndOfObject  607 --> 702

   WHY:
   a) Corrects error with cbEndOfObject duplicating cbReclaimObj
   b) Avoids collision with assertion callback types:
      /* assertion callback types */
      #define cbAssertionStart   606
      #define cbAssertionSuccess 607
      #define cbAssertionFailure 608
   c) Choice of 700 - 702 leaves 659 - 699 gap to accommodate more
assertion types in their own contiguous section.

3) New property type >= 900

   #define vpiIsCoverSequence  900

   WHY:  No need to enter the 900+ range yet, since slack still exists
in SV property numbering.

4) New object types MISSING for section 37.34 (Constraint exprs)

   vpiConstraintExpr
   vpiElseConst
   vpiImplication
   vpiConstrIf
   vpiConstrIfElse

5) Missing property:

   vpiObjId
======================================================================
Relationships       ID      Summary
----------------------------------------------------------------------
related to          0001775 cbAtEndOfSimTime not in header files
====================================================================== 

----------------------------------------------------------------------
 (0007850) Chuck_Berking (developer) - 2009-01-26 14:44
http://www.eda-stds.org/svdb/view.php?id=2572#c7850
----------------------------------------------------------------------
Proposed repairs doc has been uploaded. 

----------------------------------------------------------------------
 (0008046) Chuck_Berking (developer) - 2009-04-20 15:45
 http://www.eda-stds.org/svdb/view.php?id=2572#c8046
----------------------------------------------------------------------
I have uploaded a replacement proposal "annex_N_fixes_2.pdf" so as to
include "vpiInsideOp" which adds the missing "set operator" (see
11.4.13).
-CB 

----------------------------------------------------------------------
 (0008102) Chuck_Berking (developer) - 2009-04-29 13:45
 http://www.eda-stds.org/svdb/view.php?id=2572#c8102
----------------------------------------------------------------------
This item corresponds to P1800 ballot comment #175 (& 176). 

----------------------------------------------------------------------
 (0008247) chas (manager) - 2009-05-13 13:12
 http://www.eda-stds.org/svdb/view.php?id=2572#c8247
----------------------------------------------------------------------
On May-13-2009 the SV-CC PASSED this proposal (unanimous). 

----------------------------------------------------------------------
 (0008504) Dave Rich (manager) - 2009-06-12 00:01
 http://www.eda-stds.org/svdb/view.php?id=2572#c8504
----------------------------------------------------------------------
This issue passed 4-0, 1 abstain in the champion's e-mail vote May 27th,
2009.

Shalom had this comment

I want to verify that the allocation of numbers 658-660 does not
conflict with their use on page 1198 for

#define vpiMulticlockSequenceExpr 658
#define vpiClockedSeq 659
#define vpiPropertyInst 660

and that 700-702 do not conflict with their use on page 1199 for 

#define vpiActual 700
#define vpiTypedefAlias 701
#define vpiIndexTypespec 702 

Issue History 
Date Modified    Username       Field                    Change

====================================================================== 
2009-01-26 14:39 Chuck_Berking  New Issue

2009-01-26 14:39 Chuck_Berking  Type                      => Errata

2009-01-26 14:42 Chuck_Berking  File Added: annex_N_fixes.pdf


2009-01-26 14:44 Chuck_Berking  Note Added: 0007850

2009-01-26 19:35 shalom         Issue Monitored: shalom

2009-01-26 19:37 shalom         Description Updated

2009-02-16 06:59 shalom         Relationship added       related to
0001775  
2009-04-07 22:16 John Shields   Issue Monitored: John Shields


2009-04-08 10:23 Chuck_Berking  File Deleted: annex_N_fixes.pdf

  
2009-04-08 10:24 Chuck_Berking  File Added: annex_N_fixes.pdf


2009-04-08 10:29 Chuck_Berking  File Deleted: annex_N_fixes.pdf

  
2009-04-08 10:30 Chuck_Berking  File Added: annex_N_fixes.pdf


2009-04-08 10:35 Chuck_Berking  File Deleted: annex_N_fixes.pdf

  
2009-04-08 10:35 Chuck_Berking  File Added: annex_N_fixes.pdf


2009-04-10 09:01 chas           Status                   new => assigned

2009-04-10 09:01 chas           Assigned To               =>
Chuck_Berking   
2009-04-20 15:41 Chuck_Berking  File Added: annex_N_fixes_2.pdf

  
2009-04-20 15:45 Chuck_Berking  Note Added: 0008046

2009-04-27 14:02 Chuck_Berking  File Deleted: annex_N_fixes.pdf

  
2009-04-29 13:45 Chuck_Berking  Note Added: 0008102

2009-05-13 13:12 chas           Note Added: 0008247

2009-05-13 13:30 chas           Status                   assigned =>
resolved
2009-05-13 13:30 chas           Resolution               open => fixed

2009-06-12 00:01 Dave Rich      Note Added: 0008504

======================================================================


--
This message has been scanned for viruses and dangerous content by
MailScanner, and is believed to be clean.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Fri Jun 12 08:25:03 2009

This archive was generated by hypermail 2.1.8 : Fri Jun 12 2009 - 08:25:11 PDT