diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-24 19:24:52 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-24 19:24:52 +0700 |
commit | 53e4946c4383acabefa8e9070cbaae445005b312 (patch) | |
tree | 92719120dd7ff37efebefa0dc2756be49c5d440e /src/base/abci | |
parent | efdd26f86d3dbbde1626fe6a84304bc700b97479 (diff) | |
download | abc-53e4946c4383acabefa8e9070cbaae445005b312.tar.gz abc-53e4946c4383acabefa8e9070cbaae445005b312.tar.bz2 abc-53e4946c4383acabefa8e9070cbaae445005b312.zip |
Trying to reduce delay degradation afer 'map' with user timing.
Diffstat (limited to 'src/base/abci')
-rw-r--r-- | src/base/abci/abc.c | 72 | ||||
-rw-r--r-- | src/base/abci/abcDar.c | 1 | ||||
-rw-r--r-- | src/base/abci/abcIf.c | 10 | ||||
-rw-r--r-- | src/base/abci/abcTiming.c | 48 |
4 files changed, 131 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index a9124d3d..8b79df7b 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -238,6 +238,7 @@ static int Abc_CommandUnmap ( Abc_Frame_t * pAbc, int argc, cha static int Abc_CommandAttach ( Abc_Frame_t * pAbc, int argc, char ** argv ); static int Abc_CommandSuperChoice ( Abc_Frame_t * pAbc, int argc, char ** argv ); static int Abc_CommandSuperChoiceLut ( Abc_Frame_t * pAbc, int argc, char ** argv ); +static int Abc_CommandTimeScale ( Abc_Frame_t * pAbc, int argc, char ** argv ); //static int Abc_CommandFpga ( Abc_Frame_t * pAbc, int argc, char ** argv ); //static int Abc_CommandFpgaFast ( Abc_Frame_t * pAbc, int argc, char ** argv ); @@ -846,6 +847,7 @@ void Abc_Init( Abc_Frame_t * pAbc ) Cmd_CommandAdd( pAbc, "SC mapping", "attach", Abc_CommandAttach, 1 ); Cmd_CommandAdd( pAbc, "SC mapping", "superc", Abc_CommandSuperChoice, 1 ); Cmd_CommandAdd( pAbc, "SC mapping", "supercl", Abc_CommandSuperChoiceLut, 1 ); + Cmd_CommandAdd( pAbc, "SC mapping", "timescale", Abc_CommandTimeScale, 0 ); // Cmd_CommandAdd( pAbc, "FPGA mapping", "fpga", Abc_CommandFpga, 1 ); // Cmd_CommandAdd( pAbc, "FPGA mapping", "ffpga", Abc_CommandFpgaFast, 1 ); @@ -15027,6 +15029,76 @@ usage: SeeAlso [] ***********************************************************************/ +int Abc_CommandTimeScale( Abc_Frame_t * pAbc, int argc, char ** argv ) +{ + extern void Abc_NtkTimeScale( Abc_Ntk_t * pNtk, float Scale ); + Abc_Ntk_t * pNtk; + float nTimeScale; + int c, fVerbose; + + pNtk = Abc_FrameReadNtk(pAbc); + // set defaults + nTimeScale = (float)0.01; + fVerbose = 0; + Extra_UtilGetoptReset(); + while ( ( c = Extra_UtilGetopt( argc, argv, "Th" ) ) != EOF ) + { + switch ( c ) + { + case 'T': + if ( globalUtilOptind >= argc ) + { + Abc_Print( -1, "Command line switch \"-T\" should be followed by a positive integer.\n" ); + goto usage; + } + nTimeScale = atof(argv[globalUtilOptind]); + globalUtilOptind++; + if ( nTimeScale < 0 ) + goto usage; + break; + case 'v': + fVerbose ^= 1; + break; + case 'h': + goto usage; + default: + goto usage; + } + } + + if ( pNtk == NULL ) + { + Abc_Print( -1, "Empty network.\n" ); + return 1; + } + if ( pNtk->pManTime == NULL ) + { + Abc_Print( -1, "Timing manager is not defined.\n" ); + return 1; + } + Abc_NtkTimeScale( pNtk, nTimeScale ); + return 0; + +usage: + Abc_Print( -2, "usage: timescale [-T float] [-vh]\n" ); + Abc_Print( -2, "\t scales timing information of the current network\n" ); + Abc_Print( -2, "\t-T float : multiplicative factor [default = %f]\n", nTimeScale ); + Abc_Print( -2, "\t-v : toggles verbose output [default = %s]\n", fVerbose? "yes": "no" ); + Abc_Print( -2, "\t-h : print the command usage\n"); + return 1; +} + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ #if 0 int Abc_CommandFpga( Abc_Frame_t * pAbc, int argc, char ** argv ) { diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index ad857730..92235822 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -290,6 +290,7 @@ Aig_Man_t * Abc_NtkToDar( Abc_Ntk_t * pNtk, int fExors, int fRegisters ) // initialize logic level of the CIs ((Aig_Obj_t *)pObj->pCopy)->Level = pObj->Level; } + // complement the 1-values registers if ( fRegisters ) { Abc_NtkForEachLatch( pNtk, pObj, i ) diff --git a/src/base/abci/abcIf.c b/src/base/abci/abcIf.c index 06c290f9..1ffb9581 100644 --- a/src/base/abci/abcIf.c +++ b/src/base/abci/abcIf.c @@ -114,6 +114,16 @@ Abc_Ntk_t * Abc_NtkIf( Abc_Ntk_t * pNtk, If_Par_t * pPars ) pPars->pTimesArr = Abc_NtkGetCiArrivalFloats(pNtk); pPars->pTimesReq = Abc_NtkGetCoRequiredFloats(pNtk); + // update timing info to reflect logic level + if ( (pPars->fDelayOpt || pPars->fDsdBalance || pPars->fUserRecLib) && pNtk->AndGateDelay != 0.0 ) + { + int c; + for ( c = 0; c < Abc_NtkCiNum(pNtk); c++ ) + pPars->pTimesArr[c] /= pNtk->AndGateDelay; + for ( c = 0; c < Abc_NtkCoNum(pNtk); c++ ) + pPars->pTimesReq[c] /= pNtk->AndGateDelay; + } + // set the latch paths if ( pPars->fLatchPaths && pPars->pTimesArr ) { diff --git a/src/base/abci/abcTiming.c b/src/base/abci/abcTiming.c index 3d37265e..d535bc05 100644 --- a/src/base/abci/abcTiming.c +++ b/src/base/abci/abcTiming.c @@ -365,6 +365,54 @@ void Abc_NtkTimeInitialize( Abc_Ntk_t * pNtk, Abc_Ntk_t * pNtkOld ) /**Function************************************************************* + Synopsis [Finalizes the timing manager after setting arr/req times.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Abc_NtkTimeScale( Abc_Ntk_t * pNtk, float Scale ) +{ + Abc_Obj_t * pObj; + Abc_Time_t ** ppTimes, * pTime; + int i; + if ( pNtk->pManTime == NULL ) + return; + // arrival + pNtk->pManTime->tArrDef.Fall *= Scale; + pNtk->pManTime->tArrDef.Rise *= Scale; + // departure + if ( pNtk->pManTime->tReqDef.Fall != ABC_INFINITY ) + pNtk->pManTime->tReqDef.Fall *= Scale; + if ( pNtk->pManTime->tReqDef.Rise != ABC_INFINITY ) + pNtk->pManTime->tReqDef.Rise *= Scale; + // set the default timing + ppTimes = (Abc_Time_t **)pNtk->pManTime->vArrs->pArray; + Abc_NtkForEachCi( pNtk, pObj, i ) + { + pTime = ppTimes[pObj->Id]; + if ( Abc_MaxFloat(pTime->Fall, pTime->Rise) != -ABC_INFINITY ) + continue; + pTime->Fall *= Scale; + pTime->Rise *= Scale; + } + // set the default timing + ppTimes = (Abc_Time_t **)pNtk->pManTime->vReqs->pArray; + Abc_NtkForEachCo( pNtk, pObj, i ) + { + pTime = ppTimes[pObj->Id]; + if ( Abc_MaxFloat(pTime->Fall, pTime->Rise) != ABC_INFINITY ) + continue; + pTime->Fall *= Scale; + pTime->Rise *= Scale; + } +} + +/**Function************************************************************* + Synopsis [Prepares the timing manager for delay trace.] Description [] |