diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-04 22:32:51 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-04 22:32:51 -0700 |
commit | 0489deb631099e725a83cfa92b251b4cc91bfc5e (patch) | |
tree | 6385d36cad542f4cd6c713e7730af83451e3d309 /src/base/wlc/wlc.h | |
parent | f7939ee6b12d69587c546e532e91da485e63ba1b (diff) | |
download | abc-0489deb631099e725a83cfa92b251b4cc91bfc5e.tar.gz abc-0489deb631099e725a83cfa92b251b4cc91bfc5e.tar.bz2 abc-0489deb631099e725a83cfa92b251b4cc91bfc5e.zip |
Sequential word-level simulator for Wlc_Ntk_t.
Diffstat (limited to 'src/base/wlc/wlc.h')
-rw-r--r-- | src/base/wlc/wlc.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/base/wlc/wlc.h b/src/base/wlc/wlc.h index 237e1dac..54dccc1f 100644 --- a/src/base/wlc/wlc.h +++ b/src/base/wlc/wlc.h @@ -141,6 +141,7 @@ struct Wlc_Ntk_t_ int nTravIds; // counter of traversal IDs Vec_Int_t vTravIds; // trav IDs of the objects Vec_Int_t vCopies; // object first bits + Vec_Int_t vBits; // object mapping into AIG nodes }; static inline int Wlc_NtkObjNum( Wlc_Ntk_t * p ) { return p->iObj - 1; } @@ -260,6 +261,9 @@ extern void Wlc_NtkTransferNames( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p ); /*=== wlcReadSmt.c ========================================================*/ extern Wlc_Ntk_t * Wlc_ReadSmtBuffer( char * pFileName, char * pBuffer, char * pLimit ); extern Wlc_Ntk_t * Wlc_ReadSmt( char * pFileName ); +/*=== wlcSim.c ========================================================*/ +extern Vec_Ptr_t * Wlc_NtkSimulate( Wlc_Ntk_t * p, Vec_Int_t * vNodes, int nWords, int nFrames ); +extern void Wlc_NtkDeleteSim( Vec_Ptr_t * p ); /*=== wlcStdin.c ========================================================*/ extern int Wlc_StdinProcessSmt( Abc_Frame_t * pAbc, char * pCmd ); /*=== wlcReadVer.c ========================================================*/ |