diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-10 01:07:41 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-10 01:07:41 -0800 |
| commit | dc843b03c9ae0ed36ea66c4994513d6538c4d20b (patch) | |
| tree | fae3ffad6e4b5d4c4b4133ac1f9033fbebdc4d8e /src/base/abci/abcSpeedup.c | |
| parent | 5eedc74a153fd2242a56f06f208bee7e3b0dfaf7 (diff) | |
| download | abc-dc843b03c9ae0ed36ea66c4994513d6538c4d20b.tar.gz abc-dc843b03c9ae0ed36ea66c4994513d6538c4d20b.tar.bz2 abc-dc843b03c9ae0ed36ea66c4994513d6538c4d20b.zip | |
Renaming If_Lut_t into If_LibLut_t.
Diffstat (limited to 'src/base/abci/abcSpeedup.c')
| -rw-r--r-- | src/base/abci/abcSpeedup.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/base/abci/abcSpeedup.c b/src/base/abci/abcSpeedup.c index 320f6aa5..a4a627ba 100644 --- a/src/base/abci/abcSpeedup.c +++ b/src/base/abci/abcSpeedup.c @@ -102,7 +102,7 @@ float Abc_NtkDelayTraceLut( Abc_Ntk_t * pNtk, int fUseLutLib ) int fUseSorting = 1; int pPinPerm[32]; float pPinDelays[32]; - If_Lib_t * pLutLib; + If_LibLut_t * pLutLib; Abc_Obj_t * pNode, * pFanin; Vec_Ptr_t * vNodes; float tArrival, tRequired, tSlack, * pDelays; @@ -110,7 +110,7 @@ float Abc_NtkDelayTraceLut( Abc_Ntk_t * pNtk, int fUseLutLib ) assert( Abc_NtkIsLogic(pNtk) ); // get the library - pLutLib = fUseLutLib? (If_Lib_t *)Abc_FrameReadLibLut() : NULL; + pLutLib = fUseLutLib? (If_LibLut_t *)Abc_FrameReadLibLut() : NULL; if ( pLutLib && pLutLib->LutMax < Abc_NtkGetFaninMax(pNtk) ) { printf( "The max LUT size (%d) is less than the max fanin count (%d).\n", @@ -244,11 +244,11 @@ float Abc_NtkDelayTraceLut( Abc_Ntk_t * pNtk, int fUseLutLib ) void Abc_NtkDelayTracePrint( Abc_Ntk_t * pNtk, int fUseLutLib, int fVerbose ) { Abc_Obj_t * pNode; - If_Lib_t * pLutLib; + If_LibLut_t * pLutLib; int i, Nodes, * pCounters; float tArrival, tDelta, nSteps, Num; // get the library - pLutLib = fUseLutLib? (If_Lib_t *)Abc_FrameReadLibLut() : NULL; + pLutLib = fUseLutLib? (If_LibLut_t *)Abc_FrameReadLibLut() : NULL; if ( pLutLib && pLutLib->LutMax < Abc_NtkGetFaninMax(pNtk) ) { printf( "The max LUT size (%d) is less than the max fanin count (%d).\n", @@ -467,12 +467,12 @@ unsigned Abc_NtkDelayTraceTCEdges( Abc_Ntk_t * pNtk, Abc_Obj_t * pNode, float tD { int pPinPerm[32]; float pPinDelays[32]; - If_Lib_t * pLutLib; + If_LibLut_t * pLutLib; Abc_Obj_t * pFanin; unsigned uResult = 0; float tRequired, * pDelays; int k; - pLutLib = fUseLutLib? (If_Lib_t *)Abc_FrameReadLibLut() : NULL; + pLutLib = fUseLutLib? (If_LibLut_t *)Abc_FrameReadLibLut() : NULL; tRequired = Abc_ObjRequired(pNode); if ( pLutLib == NULL ) { |