diff options
Diffstat (limited to 'src/base/ver/verCore.c')
-rw-r--r-- | src/base/ver/verCore.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/base/ver/verCore.c b/src/base/ver/verCore.c index 5f71144b..765b237f 100644 --- a/src/base/ver/verCore.c +++ b/src/base/ver/verCore.c @@ -2717,7 +2717,7 @@ void Ver_ParsePrintLog( Ver_Man_t * pMan ) FILE * pFile; char * pNameGeneric; char Buffer[1000]; - int i, k; + int i, k, Count1 = 0; // open the log file pNameGeneric = Extra_FileNameGeneric( pMan->pFileName ); @@ -2742,7 +2742,7 @@ void Ver_ParsePrintLog( Ver_Man_t * pMan ) fprintf( pFile, "The hierarhical design %s contains %d modules:\n", pMan->pFileName, Vec_PtrSize(pMan->pDesign->vModules) ); Vec_PtrForEachEntry( Abc_Ntk_t *, pMan->pDesign->vModules, pNtk, i ) { - fprintf( pFile, "%-24s : ", Abc_NtkName(pNtk) ); + fprintf( pFile, "%-50s : ", Abc_NtkName(pNtk) ); if ( !Ver_NtkIsDefined(pNtk) ) fprintf( pFile, "undefbox" ); else if ( Abc_NtkHasBlackbox(pNtk) ) @@ -2757,9 +2757,11 @@ void Ver_ParsePrintLog( Ver_Man_t * pMan ) fprintf( pFile, " lat = %6d", Abc_NtkLatchNum(pNtk) ); fprintf( pFile, " box = %6d", Abc_NtkBoxNum(pNtk)-Abc_NtkLatchNum(pNtk) ); fprintf( pFile, "\n" ); + Count1 += (Abc_NtkPoNum(pNtk) == 1); } Vec_PtrForEachEntry( Abc_Ntk_t *, pMan->pDesign->vModules, pNtk, i ) pNtk->fHieVisited = 0; + printf( "The number of modules with one output = %d (%.2f %%).\n", Count1, 100.0 * Count1/Vec_PtrSize(pMan->pDesign->vModules) ); // report instances with dangling outputs if ( Vec_PtrSize(pMan->pDesign->vModules) > 1 ) |