diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-12-03 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-12-03 08:01:00 -0800 |
| commit | a6086f088105786ac8425b065fefd0aed4eb3e87 (patch) | |
| tree | 0157c687a38a0e0729bf5ffa0ddcfcdfabf8a30a /src/base/seq/seqRetIter.c | |
| parent | 53c4fffa04d471827119bdebd7ab0426f1c4555a (diff) | |
| download | abc-a6086f088105786ac8425b065fefd0aed4eb3e87.tar.gz abc-a6086f088105786ac8425b065fefd0aed4eb3e87.tar.bz2 abc-a6086f088105786ac8425b065fefd0aed4eb3e87.zip | |
Version abc51203
Diffstat (limited to 'src/base/seq/seqRetIter.c')
| -rw-r--r-- | src/base/seq/seqRetIter.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/base/seq/seqRetIter.c b/src/base/seq/seqRetIter.c index 9c28c097..512a521e 100644 --- a/src/base/seq/seqRetIter.c +++ b/src/base/seq/seqRetIter.c @@ -53,7 +53,7 @@ int Seq_NtkRetimeDelayLags( Abc_Ntk_t * pNtkOld, Abc_Ntk_t * pNtk, int fVerbose { Abc_Seq_t * p = pNtk->pManFunc; Abc_Obj_t * pNode; - float FiMax, FiBest, Delta; + float FiMax, Delta; int i, RetValue; char NodeLag; @@ -99,10 +99,10 @@ int Seq_NtkRetimeDelayLags( Abc_Ntk_t * pNtkOld, Abc_Ntk_t * pNtk, int fVerbose } // search for the optimal clock period between 0 and nLevelMax - FiBest = Seq_NtkMappingSearch_rec( pNtk, 0.0, FiMax, Delta, fVerbose ); + p->FiBestFloat = Seq_NtkMappingSearch_rec( pNtk, 0.0, FiMax, Delta, fVerbose ); // recompute the best l-values - RetValue = Seq_NtkMappingForPeriod( pNtk, FiBest, fVerbose ); + RetValue = Seq_NtkMappingForPeriod( pNtk, p->FiBestFloat, fVerbose ); assert( RetValue ); // fix the problem with non-converged delays @@ -127,7 +127,7 @@ int Seq_NtkRetimeDelayLags( Abc_Ntk_t * pNtkOld, Abc_Ntk_t * pNtk, int fVerbose Seq_NodeSetLag( pNode, 0 ); continue; } - NodeLag = Seq_NodeComputeLagFloat( Seq_NodeGetLValueP(pNode), FiBest ); + NodeLag = Seq_NodeComputeLagFloat( Seq_NodeGetLValueP(pNode), p->FiBestFloat ); Seq_NodeRetimeSetLag_rec( pNode, NodeLag ); } // unmark the nodes @@ -136,7 +136,7 @@ int Seq_NtkRetimeDelayLags( Abc_Ntk_t * pNtkOld, Abc_Ntk_t * pNtk, int fVerbose // print the result if ( fVerbose ) - printf( "The best clock period is %6.2f.\n", FiBest ); + printf( "The best clock period is %6.2f.\n", p->FiBestFloat ); /* { FILE * pTable; |