diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-13 09:14:54 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-13 09:14:54 -0700 |
commit | b9e403b46e8beb7068191ca1910e72fae46b9d9e (patch) | |
tree | 5e32893dc8e05e9ba377938a704a66f344aaa55c /src/base/wlc | |
parent | 89d4ac502908d4b41edaccfb858fef584374728d (diff) | |
download | abc-b9e403b46e8beb7068191ca1910e72fae46b9d9e.tar.gz abc-b9e403b46e8beb7068191ca1910e72fae46b9d9e.tar.bz2 abc-b9e403b46e8beb7068191ca1910e72fae46b9d9e.zip |
Bug fix: change in the ordering of the reset flop (should be last, not first).
Diffstat (limited to 'src/base/wlc')
-rw-r--r-- | src/base/wlc/wlcBlast.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index 99edb88a..a3c660f2 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -1271,8 +1271,6 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Vec_Int_t * vBoxIds ) Vec_PtrPush( pNew->vNamesIn, Abc_UtilStrsav(Buffer) ); fAdded = 1; } - if ( fAdded ) - Vec_PtrPush( pNew->vNamesIn, Abc_UtilStrsav("abc_reset_flop") ); } Wlc_NtkForEachCi( p, pObj, i ) if ( !Wlc_ObjIsPi(pObj) ) @@ -1289,6 +1287,8 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Vec_Int_t * vBoxIds ) Vec_PtrPush( pNew->vNamesIn, Abc_UtilStrsav(Buffer) ); } } + if ( p->pInits && fAdded ) + Vec_PtrPush( pNew->vNamesIn, Abc_UtilStrsav("abc_reset_flop") ); assert( Vec_PtrSize(pNew->vNamesIn) == Gia_ManCiNum(pNew) ); // create output names /* |