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

Printout in mfs2.

This commit is contained in:
Alan Mishchenko 2014-11-17 13:36:26 -08:00
parent 345d4e24f3
commit e30df95aba
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/opt/sfm/sfmCore.c
View File

@ -258,8 +258,13 @@ int Sfm_NtkPerform( Sfm_Ntk_t * p, Sfm_Par_t * pPars )
{ {
int i, k, Counter = 0; int i, k, Counter = 0;
p->timeTotal = Abc_Clock(); p->timeTotal = Abc_Clock();
if ( pPars->fVerbose && Vec_StrSum(p->vFixed) > 0 ) if ( pPars->fVerbose )
printf( "Performing MFS with %d fixed objects.\n", Vec_StrSum(p->vFixed) ); {
int nFixed = p->vFixed ? Vec_StrSum(p->vFixed) : 0;
int nEmpty = p->vEmpty ? Vec_StrSum(p->vEmpty) : 0;
printf( "Performing MFS with %d PIs, %d POs, %d nodes (%d flexible, %d fixed, %d empty).\n",
p->nPis, p->nPos, p->nNodes, p->nNodes-nFixed, nFixed, nEmpty );
}
p->pPars = pPars; p->pPars = pPars;
Sfm_NtkPrepare( p ); Sfm_NtkPrepare( p );
// Sfm_ComputeInterpolantCheck( p ); // Sfm_ComputeInterpolantCheck( p );