Idem

alliance/src/vasy/src/vasy_drvsyn.c

@@ -230,7 +230,18 @@
      VasySynopsysConvertVexError,    /* VEX_INDEX_N   */
      VasySynopsysConvertVexError,    /* VEX_OTHERS    */
      VasySynopsysConvertVexError,    /* VEX_NUM_BIT   */
-     VasySynopsysConvertVexAbs       /* VEX_ABS       */
+     VasySynopsysConvertVexAbs,      /* VEX_ABS       */
+     VasySynopsysConvertVexError,    /* AF            */
+     VasySynopsysConvertVexError,    /* AG            */
+     VasySynopsysConvertVexError,    /* AX            */
+     VasySynopsysConvertVexError,    /* AU            */
+     VasySynopsysConvertVexError,    /* EF            */
+     VasySynopsysConvertVexError,    /* EG            */
+     VasySynopsysConvertVexError,    /* EX            */
+     VasySynopsysConvertVexError,    /* EU            */
+     VasySynopsysConvertVexError,    /* EQUIV         */
+     VasySynopsysConvertVexError     /* IMPLY         */           
+
   };
 
   static short VasyConvertBoolType[ VASY_MAX_TYPE ][ VASY_MAX_TYPE ] =

alliance/src/vasy/src/vasy_simprtl.c

@@ -125,7 +125,17 @@
     0, /* VEX_INDEX_N         */
     0, /* VEX_OTHERS          */
     0, /* VEX_NUM_BIT         */
-    1  /* VEX_ABS             */
+    1, /* VEX_ABS             */
+    0, /* AF                  */
+    0, /* AG                  */
+    0, /* AX                  */
+    0, /* AU                  */
+    0, /* EF                  */
+    0, /* EG                  */
+    0, /* EX                  */
+    0, /* EU                  */
+    0, /* EQUIV               */
+    0  /* IMPLY               */ 
   };
 
   static char VasyBuffer[ 512 ];

alliance/src/vasy/src/vasy_simul.c

@@ -134,7 +134,17 @@
      NULL,                      /* VEX_INDEX_N   */
      NULL,                      /* VEX_OTHERS    */
      NULL,                      /* VEX_NUM_BIT   */
-     VasySimulateVexAbs         /* VEX_ABS       */
+     VasySimulateVexAbs,        /* VEX_ABS       */
+     NULL,                      /* AF            */
+     NULL,                      /* AG            */
+     NULL,                      /* AX            */
+     NULL,                      /* AU            */
+     NULL,                      /* EF            */
+     NULL,                      /* EG            */
+     NULL,                      /* EX            */
+     NULL,                      /* EU            */
+     NULL,                      /* EQUIV         */
+     NULL                       /* IMPLY         */ 
   };
 
   static char VasyTruthTableAnd[ VEX_MAX_ID ][ VEX_MAX_ID ] =

alliance/src/vasy/src/vasy_support.c

@@ -140,7 +140,17 @@
     VASY_SUPPORT_ERROR,    /* VEX_INDEX_N   */
     VASY_SUPPORT_ERROR,    /* VEX_OTHERS    */
     VASY_SUPPORT_ERROR,    /* VEX_NUM_BIT   */
-    VASY_SUPPORT_ARITH     /* VEX_ABS       */
+    VASY_SUPPORT_ARITH,    /* VEX_ABS       */
+    VASY_SUPPORT_ERROR,    /* AF            */
+    VASY_SUPPORT_ERROR,    /* AG            */
+    VASY_SUPPORT_ERROR,    /* AX            */
+    VASY_SUPPORT_ERROR,    /* AU            */
+    VASY_SUPPORT_ERROR,    /* EF            */
+    VASY_SUPPORT_ERROR,    /* EG            */
+    VASY_SUPPORT_ERROR,    /* EX            */
+    VASY_SUPPORT_ERROR,    /* EU            */
+    VASY_SUPPORT_ERROR,    /* EQUIV         */
+    VASY_SUPPORT_ERROR     /* IMPLY         */ 
   };
 
 /*------------------------------------------------------------\

alliance/src/vasy/src/vasy_vexbdd.c

@@ -127,7 +127,17 @@
     -1      ,  /* VEX_INDEX_N   */
     -1      ,  /* VEX_OTHERS    */ 
     -1      ,  /* VEX_NUM_BIT   */
-    -1         /* VEX_ABS       */
+    -1      ,  /* VEX_ABS       */
+    -1      ,  /* AF            */
+    -1      ,  /* AG            */
+    -1      ,  /* AX            */
+    -1      ,  /* AU            */
+    -1      ,  /* EF            */
+    -1      ,  /* EG            */
+    -1      ,  /* EX            */
+    -1      ,  /* EU            */
+    -1      ,  /* EQUIV         */
+    -1         /* IMPLY         */ 
   };
 
   static char VasyOperAbl2Vex[ ABL_MAX_OPERATOR ] =