diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-26 13:20:39 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-26 13:20:39 -0700 |
| commit | acdfc3cc9ff94126390fa6650c8c13cfd738a810 (patch) | |
| tree | baa9792be53f5ebe5cd3dac39bae55b567c2d6d5 /src/base/wlc/wlcNtk.c | |
| parent | f215b1bb8a83cf315393584dd4a6051dbc2e9c65 (diff) | |
| download | abc-acdfc3cc9ff94126390fa6650c8c13cfd738a810.tar.gz abc-acdfc3cc9ff94126390fa6650c8c13cfd738a810.tar.bz2 abc-acdfc3cc9ff94126390fa6650c8c13cfd738a810.zip | |
Recognizing async reset in blasting.
Diffstat (limited to 'src/base/wlc/wlcNtk.c')
| -rw-r--r-- | src/base/wlc/wlcNtk.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c index ba8dcdc4..a61d72f0 100644 --- a/src/base/wlc/wlcNtk.c +++ b/src/base/wlc/wlcNtk.c @@ -266,6 +266,7 @@ void Wlc_NtkFree( Wlc_Ntk_t * p ) ABC_FREE( p->vFfs.pArray ); ABC_FREE( p->vFfs2.pArray ); Vec_IntFreeP( &p->vInits ); + Vec_IntFreeP( &p->vArsts ); ABC_FREE( p->vTravIds.pArray ); ABC_FREE( p->vNameIds.pArray ); ABC_FREE( p->vValues.pArray ); @@ -961,6 +962,7 @@ Wlc_Ntk_t * Wlc_NtkDupDfsSimple( Wlc_Ntk_t * p ) vFanins = Vec_IntAlloc( 100 ); pNew = Wlc_NtkAlloc( p->pName, p->nObjsAlloc ); pNew->fSmtLib = p->fSmtLib; + pNew->fAsyncRst = p->fAsyncRst; pNew->fMemPorts = p->fMemPorts; pNew->fEasyFfs = p->fEasyFfs; Wlc_NtkForEachCi( p, pObj, i ) @@ -989,6 +991,7 @@ Wlc_Ntk_t * Wlc_NtkDupDfs( Wlc_Ntk_t * p, int fMarked, int fSeq ) Wlc_NtkCleanCopy( p ); pNew = Wlc_NtkAlloc( p->pName, p->nObjsAlloc ); pNew->fSmtLib = p->fSmtLib; + pNew->fAsyncRst = p->fAsyncRst; pNew->fMemPorts = p->fMemPorts; pNew->fEasyFfs = p->fEasyFfs; Wlc_NtkForEachCi( p, pObj, i ) @@ -1056,6 +1059,7 @@ Wlc_Ntk_t * Wlc_NtkDupDfsAbs( Wlc_Ntk_t * p, Vec_Int_t * vPisOld, Vec_Int_t * vP Wlc_NtkCleanCopy( p ); pNew = Wlc_NtkAlloc( p->pName, p->nObjsAlloc ); pNew->fSmtLib = p->fSmtLib; + pNew->fAsyncRst = p->fAsyncRst; pNew->fMemPorts = p->fMemPorts; pNew->fEasyFfs = p->fEasyFfs; @@ -1239,6 +1243,7 @@ Wlc_Ntk_t * Wlc_NtkDupSingleNodes( Wlc_Ntk_t * p ) vFanins = Vec_IntAlloc( 100 ); pNew = Wlc_NtkAlloc( p->pName, p->nObjsAlloc ); pNew->fSmtLib = p->fSmtLib; + pNew->fAsyncRst = p->fAsyncRst; pNew->fMemPorts = p->fMemPorts; pNew->fEasyFfs = p->fEasyFfs; Wlc_NtkForEachObj( p, pObj, i ) |