diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-12-18 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-12-18 08:01:00 -0800 |
| commit | 14c01eaccab87d14d1bd0eaa3fc491026349665e (patch) | |
| tree | bfe2f18a426b347cdb4d0216f5e71fd744b8a9f8 /src/opt/lpk | |
| parent | 126637ddd3c237d9c83f3a7f2b1f3f2722337411 (diff) | |
| download | abc-14c01eaccab87d14d1bd0eaa3fc491026349665e.tar.gz abc-14c01eaccab87d14d1bd0eaa3fc491026349665e.tar.bz2 abc-14c01eaccab87d14d1bd0eaa3fc491026349665e.zip | |
Version abc71218
Diffstat (limited to 'src/opt/lpk')
| -rw-r--r-- | src/opt/lpk/lpkCore.c | 6 | ||||
| -rw-r--r-- | src/opt/lpk/lpkCut.c | 4 |
2 files changed, 4 insertions, 6 deletions
diff --git a/src/opt/lpk/lpkCore.c b/src/opt/lpk/lpkCore.c index 8b8028e3..acea4866 100644 --- a/src/opt/lpk/lpkCore.c +++ b/src/opt/lpk/lpkCore.c @@ -446,10 +446,6 @@ p->timeTruth3 += clock() - clk; // pFileName = Kit_TruthDumpToFile( pTruth, pCut->nLeaves, Count++ ); // printf( "Saved truth table in file \"%s\".\n", pFileName ); } - if ( p->pObj->Id == 33 && i == 0 ) - { - int x = 0; - } // update the network nNodesBef = Abc_NtkNodeNum(p->pNtk); @@ -512,6 +508,8 @@ int Lpk_Resynthesize( Abc_Ntk_t * pNtk, Lpk_Par_t * pPars ) // get the number of inputs pPars->nLutSize = Abc_NtkGetFaninMax( pNtk ); + if ( pPars->nLutSize > 6 ) + pPars->nLutSize = 6; // adjust the number of crossbars based on LUT size if ( pPars->nVarsShared > pPars->nLutSize - 2 ) pPars->nVarsShared = pPars->nLutSize - 2; diff --git a/src/opt/lpk/lpkCut.c b/src/opt/lpk/lpkCut.c index b2a743bd..facd330b 100644 --- a/src/opt/lpk/lpkCut.c +++ b/src/opt/lpk/lpkCut.c @@ -24,7 +24,7 @@ //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// - + //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// @@ -489,7 +489,7 @@ void Lpk_NodeCutsOne( Lpk_Man_t * p, Lpk_Cut_t * pCut, int Node ) if ( Abc_ObjIsCi(pObj) ) return; assert( Abc_ObjIsNode(pObj) ); - assert( Abc_ObjFaninNum(pObj) <= p->pPars->nLutSize ); +// assert( Abc_ObjFaninNum(pObj) <= p->pPars->nLutSize ); // if the node is not in the MFFC, check the limit if ( !Abc_NodeIsTravIdCurrent(pObj) ) |