From 3db1557f45b03875a0a0b8adddcc15c4565895d2 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 11 Jun 2006 08:01:00 -0700 Subject: Version abc60611 --- src/base/seq/seqMapCore.c | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) (limited to 'src/base/seq/seqMapCore.c') 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 -- cgit v1.2.3