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

Timestamp:

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

Author:

cecile

Message:

Fault candidates OK

File:

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

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

@@ -1 +1 @@
 #include "debug.h"
+void printNodeArray(array_t * nodeArray)
+{
+  int i;
+  Ntk_Node_t* node;
+  arrayForEachItem(Ntk_Node_t *, nodeArray, i, node){
+    printf("%s\n",Ntk_NodeReadName(node)); 
+  }
+
+
+}
+
 void printLatch(st_table* CoiTable)
 {
@@ -98 +109 @@
 ******************************************************************************/
 
-int Dbg_SatCheck(char * forceAssigName, char * cnfFileName
+int Dbg_SatCheck(char * forceAssigName, char * cnfFileName,int verbose
 )
 {
@@ -138 +149 @@
    sat_Main(cm);
 
+if(verbose){
    if(cm->status == SAT_UNSAT) {
     if(cm->option->forcedAssignArr)
@@ -154 +166 @@
     sat_FreeManager(cm);
   }
+}
 return cm->status;
 }
@@ -192 +205 @@
 
 }
+/**Function********************************************************************
+ 
+  Synopsis    [Return the default value of a Node]
+
+  Description [Given a table of a node , return its default value if it exists 
+  else -1   This function only work for binary gate with only one default
+  value.]
+  SideEffects []
+
+  SeeAlso     []
+
+******************************************************************************/
+int Dbg_GetDefaultValue(Tbl_Table_t * table)
+{
+  Tbl_Entry_t * defEntry;
+  int defIndex;
+  lsList * rangeList;
+  Tbl_TableForEachDefaultEntry(table,defEntry,defIndex)
+  { 
+    rangeList = Tbl_EntryReadList(defEntry);
+    int length = lsLength(rangeList);
+    if ( length  != 1)
+      return -1;
+    Tbl_Range_t * range;
+    int valDefault;
+    lsGen gen;
+    Tbl_EntryForEachValue(defEntry,valDefault,gen,range){
+      return Tbl_RangeEnd(range);
+    }
+  }
+}
+