vis study

From: 022021074_at_fudan.edu.cn
Date: Thu Nov 06 2003 - 01:21:44 MST


 

Dear vis users,

   I have some questions on vis-2.0/src/ntk/NtkInt.h,   I am not sure about some of the elements  in these three structs, if I try to read the code , it will cost much time ,so I ask help from you ,you may answer me the questions directly or just guide me to study them , both of which are OK,. Thank you !

    1,   typedef enum {

  NtkLatch_c,        

  NtkShadow_c,         // what kinds of nodes can we can them  ˇ°shadowˇ± nodes ?

  NtkCombinational_c,//   do this kinds of nodes represent  a combinational logic? If so , what kind of nodes are the inputs and outputs of the combinational logic?

  NtkPrimaryInput_c,

  NtkPseudoInput_c,

  NtkUnassigned_c

} NtkNodeType;

2.        struct NtkNodeStruct {

  char           *name;        /* actual name of output of node */

  Ntk_Network_t  *network;     /* network to which this node belongs */

  Var_Variable_t *variable;    /* info about the multi-valued variable of this node */

  NtkNodeType     type;        /* type of node */

  array_t        *fanins;      /* array of Ntk_Node_t * giving fanins of this node */

  array_t        *fanouts;     /* array of Ntk_Node_t * giving fanouts of this node */

  Tbl_Table_t    *table;       /* table in which the function of this node is defined */

  int             outputIndex; /* column of table which defines this node */

  int             mddId;       /* mddId of the output variable of this node */

  union {

    Ntk_Node_t   *shadow;      /* if type is not shadow, corr. shadow node (may be NULL) */

    Ntk_Node_t   *origin;      /* if type is shadow, corresponding node */

  } shadowInfo;

  boolean         outputFlag;  /* 1 if node is a primary output, else 0 */

  boolean         constant;    /* 1 if node is a constant, else 0 */

  boolean         latchDataInput; /* 1 if node is the data input to some latch, else 0 */

  boolean         latchInitialInput; /* 1 if node is the init input to some latch, else 0 */

  mAigEdge_t      mAigId;     /*Node Id of this node in the AndInv graph */

  void           *undef;       /* for programmer's use; make no assumptions */

};

if the nodetype is latch, what is the variable for? Are the fanins latch input and fanouts  latch output ?

3. struct NtkNetworkStruct{

ˇ­

  st_table       *combOutputsTable;/* membership for combOutputs list */

ˇ­

}what is the key type ?what is the record type? What does ˇ°membershipˇ± mean?

Best regards,

huangwei



This archive was generated by hypermail 2.1.7 : Thu Nov 06 2003 - 01:28:38 MST