diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-06-11 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-06-11 08:01:00 -0700 |
| commit | 3db1557f45b03875a0a0b8adddcc15c4565895d2 (patch) | |
| tree | 2896d20ddcb85ae4aa7245ca28bc585f567fea54 /src/base/seq/seqMapCore.c | |
| parent | 7d0921330b1f4e789901b4c2450920e7c412f95f (diff) | |
| download | abc-3db1557f45b03875a0a0b8adddcc15c4565895d2.tar.gz abc-3db1557f45b03875a0a0b8adddcc15c4565895d2.tar.bz2 abc-3db1557f45b03875a0a0b8adddcc15c4565895d2.zip | |
Version abc60611
Diffstat (limited to 'src/base/seq/seqMapCore.c')
| -rw-r--r-- | src/base/seq/seqMapCore.c | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/base/seq/seqMapCore.c b/src/base/seq/seqMapCore.c index b1d4871e..a444ec58 100644 --- a/src/base/seq/seqMapCore.c +++ b/src/base/seq/seqMapCore.c @@ -370,7 +370,7 @@ Abc_Ntk_t * Seq_NtkSeqMapMapped( Abc_Ntk_t * pNtk ) Seq_Match_t * pMatch; Abc_Ntk_t * pNtkMap; Vec_Ptr_t * vLeaves; - Abc_Obj_t * pObj, * pLatch, * pFaninNew; + Abc_Obj_t * pObj, * pFaninNew; Seq_Lat_t * pRing; int i; @@ -413,11 +413,7 @@ Abc_Ntk_t * Seq_NtkSeqMapMapped( Abc_Ntk_t * pNtk ) // add the latches and their names Abc_NtkAddDummyLatchNames( pNtkMap ); - Abc_NtkForEachLatch( pNtkMap, pLatch, i ) - { - Vec_PtrPush( pNtkMap->vCis, pLatch ); - Vec_PtrPush( pNtkMap->vCos, pLatch ); - } + Abc_NtkOrderCisCos( pNtkMap ); // fix the problem with complemented and duplicated CO edges Abc_NtkLogicMakeSimpleCos( pNtkMap, 1 ); // make the network minimum base |