luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Tuning LUT mapping flow.

This commit is contained in:
Alan Mishchenko 2014-08-28 00:11:24 -07:00
parent 70a236379b
commit 3c51dd47b5
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/aig/gia/giaSopb.c
View File

@ -425,7 +425,10 @@ void Gia_ManPerformFlow( int fIsMapped, int nAnds, int nLevels, int nLutSize, in
// remove comb equivs
if ( fIsMapped )
Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "&st" );
Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "&fraig -c" );
if ( Abc_FrameReadGia(Abc_FrameGetGlobalFrame())->pManTime )
Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "&sweep" );
else
Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "&fraig -c" );
// perform first round
Gia_ManPerformRound( fIsMapped, nAnds, nLevels, nLutSize, nCutNum, nRelaxRatio, fVerbose );

1
src/base/abci/abc.c
View File

@ -26106,6 +26106,7 @@ int Abc_CommandAbc9Strash( Abc_Frame_t * pAbc, int argc, char ** argv )
if ( !Abc_FrameReadFlag("silentmode") )
printf( "Rehashed the current AIG.\n" );
}
Gia_ManTransferTiming( pTemp, pAbc->pGia );
Abc_FrameUpdateGia( pAbc, pTemp );
return 0;