Changeset 42 for vis_dev/vis-2.3/src/debug/debugAbnormal.c

Timestamp:

Jan 13, 2012, 6:32:51 PM (12 years ago)

Author:

cecile

Message:

Fault candidates OK

File:

• vis_dev/vis-2.3/src/debug/debugAbnormal.c (modified) (5 diffs)

vis_dev/vis-2.3/src/debug/debugAbnormal.c

@@ -44 +44 @@
   with a new table including the abnormal predicate.
   For a combinatorial node n is tranformed into (abn_n)?i_n:n 
-  If the abnormal predicate is activ then n is replaced by a free input]
+  If the abnormal predicate is active then n is replaced by a free input.
+  We assume that the combinatorial gate at on one bit only.]
 
   SideEffects [fill the abnormal structure]
@@ -67 +68 @@
 
                 Tbl_Table_t    *table =  Ntk_NodeReadTable(node);
-                (void) fprintf(vis_stdout, "** old table\n");
-                Tbl_TableWriteBlifMvToFile(table,2,vis_stdout);
+        if(abnormal->verbose){
+                  (void) fprintf(vis_stdout, "** old table\n");
+                  Tbl_TableWriteBlifMvToFile(table,2,vis_stdout);
+        }
                 // Build new variables abnormal  and  input
                 Ntk_Node_t * abnNode = Dbg_CreateNewNode(ntk,node,"abn");
@@ -81 +84 @@
                 Tbl_TableAddColumn(table,i,0);
                 int iIndex = Tbl_TableReadVarIndex(table, i, 0);
-
-                //For each row already there in the table
+        
                 int rowNum;
                 for(rowNum = 0; rowNum <  Tbl_TableReadNumRows(table);rowNum++){
@@ -94 +96 @@
                 //the new row
                 int r = Tbl_TableAddRow(table);
-
+        
                 int colNum;
             for (colNum = 0; colNum < Tbl_TableReadNumInputs(table); colNum++) {
@@ -104 +106 @@
                     Tbl_TableSetEntry(table, entry, r, colNum, 0);
                 }
+        int defaultVal = Dbg_GetDefaultValue(table);
+        if(defaultVal == -1)
+        {
+                (void) fprintf(vis_stdout, "Error default value of the table \
+            of node %s\n", nodeName);
+            return;
+        }
+        int outVal = (defaultVal +1 )% 2;
+        if(abnormal->verbose)
+                (void) fprintf(vis_stdout, "Default value : %d\n",defaultVal);
                 for (colNum = 0; colNum < Tbl_TableReadNumOutputs(table); colNum++){
                         Tbl_Entry_t * entry = Tbl_EntryAlloc(Tbl_EntryNormal_c);
-                        Tbl_EntrySetValue(entry,1,1);
+                        Tbl_EntrySetValue(entry,outVal,outVal);
                     Tbl_TableSetEntry(table, entry, r, colNum, 1);
                 }
+        if(abnormal->verbose){
                  printf("---------------\n");
                  Tbl_TableWriteBlifMvToFile(table,0,vis_stdout);
+        }
           }
         }