diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-16 08:01:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-16 08:01:00 -0800 |
commit | be6a484a997a8477d4c3b03c17f798c1b0061bf1 (patch) | |
tree | 5c2e6dfa747144ba11dbdc8298ad08b19d5e49d1 /src/map/if/ifSeq.c | |
parent | ae037e45038cca6f0b86abea50692399a03b01be (diff) | |
download | abc-be6a484a997a8477d4c3b03c17f798c1b0061bf1.tar.gz abc-be6a484a997a8477d4c3b03c17f798c1b0061bf1.tar.bz2 abc-be6a484a997a8477d4c3b03c17f798c1b0061bf1.zip |
Version abc61216
Diffstat (limited to 'src/map/if/ifSeq.c')
-rw-r--r-- | src/map/if/ifSeq.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/map/if/ifSeq.c b/src/map/if/ifSeq.c index ddc74a49..cd90a313 100644 --- a/src/map/if/ifSeq.c +++ b/src/map/if/ifSeq.c @@ -96,7 +96,7 @@ int If_ManPerformMappingSeq( If_Man_t * p ) // print the statistic into a file { FILE * pTable; - pTable = fopen( "a/seqmap__stats.txt", "a+" ); + pTable = fopen( "iscas/seqmap__stats.txt", "a+" ); fprintf( pTable, "%d ", p->Period ); fprintf( pTable, "\n" ); fclose( pTable ); @@ -198,7 +198,7 @@ int If_ManBinarySearchPeriod( If_Man_t * p, int Mode ) // report the results if ( p->pPars->fVerbose ) { - p->AreaGlo = p->pPars->fLiftLeaves? If_ManScanMappingSeq(p) : If_ManScanMapping(p); + p->AreaGlo = p->pPars->fLiftLeaves? 0/*If_ManScanMappingSeq(p)*/ : If_ManScanMapping(p); printf( "Attempt = %2d. Iters = %3d. Area = %10.2f. Fi = %6.2f. ", p->nAttempts, c, p->AreaGlo, (float)p->Period ); if ( fConverged ) printf( " Feasible" ); @@ -358,7 +358,9 @@ int If_ManPrepareMappingSeq( If_Man_t * p ) pCut->Delay -= p->Period; pCut->fCompl ^= pObj->fCompl0; - pTemp = If_ManObj(p, pCut->pLeaves[0] >> 8); + // there is a bug here, which shows when there are choices... +// pTemp = If_ManObj(p, pCut->pLeaves[0] >> 8); + pTemp = If_ManObj(p, pCut->pLeaves[0]); assert( !If_ObjIsLatch(pTemp) ); } } |