[sv-cc] VPI issues


Subject: [sv-cc] VPI issues
From: Francoise Martinolle (fm@cadence.com)
Date: Tue Feb 24 2004 - 11:36:38 PST


While reviewing the VPI model, we have found more issues:
   diagram 31.9 refObj
       -> looks like there are two labels for the same transition to ports:
vpiLowConn and vpiPortInst

   diagram 31.20 seems to not represent accurately all the kinds of
constraint expr:
    -> the foreach constraint expression is missing
    ->there is an unlabeled transition to constraint expr. This does not
exist in the include file.
    -> for a constr if, there is only a way to get to the condition, seems
that the constrained expression access is missing
    -> for a constr if else, there is only access to the else constrained
    -> there is a vpiElseConst label, which is not in the include file.
    -> looks like it has vpiElseConst and vpiCondition labels on
the same transition.

  diagram 31.7
     -> There does not appear to be any way to get to an interface tf
decl.



This archive was generated by hypermail 2b28 : Tue Feb 24 2004 - 11:41:37 PST