diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-27 20:15:02 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-27 20:15:02 -0700 |
commit | a21f2986aa907e5cf484cd7cd467290d192bf816 (patch) | |
tree | 8ae3fc7d1cb6316865bb4c8abc46aead9c91ba16 /src/map/if/ifCore.c | |
parent | 08253a50eba6c2b7f0346763c923a5abff20708e (diff) | |
download | abc-a21f2986aa907e5cf484cd7cd467290d192bf816.tar.gz abc-a21f2986aa907e5cf484cd7cd467290d192bf816.tar.bz2 abc-a21f2986aa907e5cf484cd7cd467290d192bf816.zip |
Enabling mapping into multi-input AND/OR gates.
Diffstat (limited to 'src/map/if/ifCore.c')
-rw-r--r-- | src/map/if/ifCore.c | 25 |
1 files changed, 21 insertions, 4 deletions
diff --git a/src/map/if/ifCore.c b/src/map/if/ifCore.c index fcecb401..9cdddccd 100644 --- a/src/map/if/ifCore.c +++ b/src/map/if/ifCore.c @@ -139,12 +139,29 @@ int If_ManPerformMappingComb( If_Man_t * p ) // Abc_Print( 1, "Cross cut memory = %d.\n", Mem_FixedReadMaxEntriesUsed(p->pMemSet) ); s_MappingTime = clock() - clkTotal; // Abc_Print( 1, "Special POs = %d.\n", If_ManCountSpecialPos(p) ); + +/* { - extern int If_CutGetCones( If_Man_t * p ); - extern int If_CutCountTotalFanins( If_Man_t * p ); -// If_CutGetCones( p ); -// If_CutCountTotalFanins( p ); + static char * pLastName = NULL; + FILE * pTable = fopen( "fpga/ucsb/stats.txt", "a+" ); + if ( pLastName == NULL || strcmp(pLastName, p->pName) ) + { + fprintf( pTable, "\n" ); + fprintf( pTable, "%s ", p->pName ); + + fprintf( pTable, "%d ", If_ManCiNum(p) ); + fprintf( pTable, "%d ", If_ManCoNum(p) ); + fprintf( pTable, "%d ", If_ManAndNum(p) ); + + ABC_FREE( pLastName ); + pLastName = Abc_UtilStrsav( p->pName ); + } + + fprintf( pTable, "%d ", (int)p->AreaGlo ); + fprintf( pTable, "%d ", (int)p->RequiredGlo ); + fclose( pTable ); } +*/ return 1; } |