diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-21 17:43:46 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-21 17:43:46 -0800 |
| commit | ffc7b60d2d9b8d082c07ffd64c5a3de98b4cc459 (patch) | |
| tree | d68936b328fea34932412351c0c6c3f496989e69 /src/base/wlc/wlcNtk.c | |
| parent | 14425c111ef5dba0ab3d96a3f115c3320ee95e23 (diff) | |
| download | abc-ffc7b60d2d9b8d082c07ffd64c5a3de98b4cc459.tar.gz abc-ffc7b60d2d9b8d082c07ffd64c5a3de98b4cc459.tar.bz2 abc-ffc7b60d2d9b8d082c07ffd64c5a3de98b4cc459.zip | |
Support of init-state in AIGs derived from word-level designs in Wlc_Ntk_t.
Diffstat (limited to 'src/base/wlc/wlcNtk.c')
| -rw-r--r-- | src/base/wlc/wlcNtk.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c index 33cf989d..7c49f73d 100644 --- a/src/base/wlc/wlcNtk.c +++ b/src/base/wlc/wlcNtk.c @@ -33,7 +33,7 @@ static char * Wlc_Names[WLC_OBJ_NUMBER+1] = { NULL, // 00: unknown "pi", // 01: primary input "po", // 02: primary output - "bo", // 03: box output + "ff", // 03: box output "bi", // 04: box input "ff", // 05: flop "const", // 06: constant @@ -206,9 +206,11 @@ void Wlc_NtkFree( Wlc_Ntk_t * p ) ABC_FREE( p->vCis.pArray ); ABC_FREE( p->vCos.pArray ); ABC_FREE( p->vFfs.pArray ); + ABC_FREE( p->vInits.pArray ); ABC_FREE( p->vTravIds.pArray ); ABC_FREE( p->vNameIds.pArray ); ABC_FREE( p->vCopies.pArray ); + ABC_FREE( p->pInits ); ABC_FREE( p->pObjs ); ABC_FREE( p->pName ); ABC_FREE( p ); @@ -469,6 +471,7 @@ Wlc_Ntk_t * Wlc_NtkDupDfs( Wlc_Ntk_t * p ) Wlc_NtkDupDfs_rec( pNew, p, Wlc_ObjId(p, pObj), vFanins ); Wlc_NtkForEachCo( p, pObj, i ) Wlc_ObjSetCo( pNew, Wlc_ObjCopyObj(pNew, p, pObj), pObj->fIsFi ); + pNew->pInits = Abc_UtilStrsav( p->pInits ); Vec_IntFree( vFanins ); return pNew; } |