Changeset 36 for vis_dev/vis-2.3/src/debug/debugInt.h

Timestamp:

Jan 4, 2012, 12:03:00 PM (12 years ago)

Author:

cecile

Message:

Add Abnormal predicate structures

File:

• vis_dev/vis-2.3/src/debug/debugInt.h (modified) (3 diffs)

vis_dev/vis-2.3/src/debug/debugInt.h

@@ -32 +32 @@
 ******************************************************************************/
 
-#ifndef _TSTINT
-#define _TSTINT
+#ifndef _DBGINT
+#define _DBGINT
 
 /*---------------------------------------------------------------------------*/
@@ -51 +51 @@
 /* Structure declarations                                                    */
 /*---------------------------------------------------------------------------*/
+struct DbgAbnormalStruct{
+        Ntk_Network_t * network;
+        array_t * abnormal; /* Array of Ntk_Node_t* */
+        array_t * freeInputs; /* Array of Ntk_Node_t* */
+        int verbose;
+};
 
 
@@ -74 +80 @@
 /*---------------------------------------------------------------------------*/
 
+void printLatch(st_table* CoiTable);
+st_table * generateAllLatches(Ntk_Network_t * ntk);
+void mdd_GetState_Values(mdd_manager *mgr, mdd_t * top, FILE * f);
 
 /**AutomaticEnd***************************************************************/