diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-13 12:20:53 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-13 12:20:53 -0700 |
commit | 118e40b809712c88fe7ddc530a8b072c1d2649d3 (patch) | |
tree | 9ce56adf29a84bd464dfe97ff783127bab962240 /src/map/mpm/mpmMan.c | |
parent | 167340527b4ecaae20bb6340b5432f15789c5322 (diff) | |
download | abc-118e40b809712c88fe7ddc530a8b072c1d2649d3.tar.gz abc-118e40b809712c88fe7ddc530a8b072c1d2649d3.tar.bz2 abc-118e40b809712c88fe7ddc530a8b072c1d2649d3.zip |
New technology mapper.
Diffstat (limited to 'src/map/mpm/mpmMan.c')
-rw-r--r-- | src/map/mpm/mpmMan.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/map/mpm/mpmMan.c b/src/map/mpm/mpmMan.c index 659372f9..6e4ce28a 100644 --- a/src/map/mpm/mpmMan.c +++ b/src/map/mpm/mpmMan.c @@ -145,9 +145,10 @@ void Mpm_ManStop( Mpm_Man_t * p ) ***********************************************************************/ void Mpm_ManPrintStatsInit( Mpm_Man_t * p ) { - printf( "K = %d. C = %d. Cands = %d. Choices = %d. CutMin = %d. Truth = %d.\n", + printf( "K = %d. C = %d. Cands = %d. XOR = %d. MUX = %d. Choices = %d. CutMin = %d. Truth = %d.\n", p->nLutSize, p->nNumCuts, - Mig_ManCiNum(p->pMig) + Mig_ManNodeNum(p->pMig), 0, + Mig_ManCiNum(p->pMig) + Mig_ManNodeNum(p->pMig), + Mig_ManXorNum(p->pMig), Mig_ManMuxNum(p->pMig), 0, p->pPars->fCutMin, p->pPars->fUseTruth ); } void Mpm_ManPrintStats( Mpm_Man_t * p ) |