diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-10 08:03:01 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-10 08:03:01 -0800 |
commit | 44b31021d6c45582738fa912aca86b9ab9ac054e (patch) | |
tree | d31a81718945d4a7663add1223f71d5d4c88c7fd /src/base/cba | |
parent | 089a8bbfc9861bb3dacc10710bd28e845b5c46f8 (diff) | |
download | abc-44b31021d6c45582738fa912aca86b9ab9ac054e.tar.gz abc-44b31021d6c45582738fa912aca86b9ab9ac054e.tar.bz2 abc-44b31021d6c45582738fa912aca86b9ab9ac054e.zip |
Adding resource limit to 'fx'.
Diffstat (limited to 'src/base/cba')
-rw-r--r-- | src/base/cba/cbaPrsBuild.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/cba/cbaPrsBuild.c b/src/base/cba/cbaPrsBuild.c index d3969c72..4087b23e 100644 --- a/src/base/cba/cbaPrsBuild.c +++ b/src/base/cba/cbaPrsBuild.c @@ -153,10 +153,10 @@ void Prs_ManRemapBoxes( Cba_Man_t * pNew, Vec_Ptr_t * vDes, Prs_Ntk_t * pNtk, Ve int NtkId = Prs_BoxNtk( pNtk, iBox ); int NtkIdNew = Cba_ManNtkFindId( pNew, Prs_NtkStr(pNtk, NtkId) ); Prs_BoxSetNtk( pNtk, iBox, NtkIdNew ); - if ( NtkId < Cba_ManNtkNum(pNew) ) + if ( NtkIdNew < Cba_ManNtkNum(pNew) ) Prs_ManRemapOne( vSigs, Prs_ManNtk(vDes, NtkIdNew), vMap ); - else - Prs_ManRemapGate( vSigs ); + //else + // Prs_ManRemapGate( vSigs ); } } void Prs_ManCleanMap( Prs_Ntk_t * pNtk, Vec_Int_t * vMap ) |