diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-02 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-02 08:01:00 -0700 |
| commit | 436d5d2103b2cfec6a6deb5bbba72ce8e820f785 (patch) | |
| tree | 0bb7be2716b4758b3f883b9a9f1b76aae00c7ab0 /src/aig/ntl/ntlSweep.c | |
| parent | de81a1a1fb5d2cfff636a237a0a7008dcf196bcd (diff) | |
| download | abc-436d5d2103b2cfec6a6deb5bbba72ce8e820f785.tar.gz abc-436d5d2103b2cfec6a6deb5bbba72ce8e820f785.tar.bz2 abc-436d5d2103b2cfec6a6deb5bbba72ce8e820f785.zip | |
Version abc80502
Diffstat (limited to 'src/aig/ntl/ntlSweep.c')
| -rw-r--r-- | src/aig/ntl/ntlSweep.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/aig/ntl/ntlSweep.c b/src/aig/ntl/ntlSweep.c index 000b8f0a..ed602297 100644 --- a/src/aig/ntl/ntlSweep.c +++ b/src/aig/ntl/ntlSweep.c @@ -77,11 +77,15 @@ void Ntl_ManSweepMark( Ntl_Man_t * p ) // start from the primary outputs Ntl_ModelForEachPo( pRoot, pObj, i ) Ntl_ManSweepMark_rec( p, pObj ); + // start from the persistant boxes + Ntl_ModelForEachBox( pRoot, pObj, i ) + if ( pObj->pImplem->fKeep ) + Ntl_ManSweepMark_rec( p, pObj ); } /**Function************************************************************* - Synopsis [Derives new netlist by sweeping current netlist with the current AIG.] + Synopsis [Removes logic that does not fanout into POs.] Description [] |