From 00efa6805380739f36ca9cc73623aefe25eeb9b5 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 21 Nov 2013 12:58:13 -0800 Subject: Several changes to allow Liberty files without delay info. --- src/base/abci/abcMap.c | 2 +- src/base/abci/abcPrint.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src/base') diff --git a/src/base/abci/abcMap.c b/src/base/abci/abcMap.c index b04a7076..aca51c88 100644 --- a/src/base/abci/abcMap.c +++ b/src/base/abci/abcMap.c @@ -71,7 +71,7 @@ Abc_Ntk_t * Abc_NtkMap( Abc_Ntk_t * pNtk, double DelayTarget, double AreaMulti, assert( Abc_NtkIsStrash(pNtk) ); // derive library from SCL // if the library is created here, it will be deleted when pSuperLib is deleted in Map_SuperLibFree() - if ( Abc_FrameReadLibScl() ) + if ( Abc_FrameReadLibScl() && Abc_SclHasDelayInfo( Abc_FrameReadLibScl() ) ) { pLib = Abc_SclDeriveGenlib( Abc_FrameReadLibScl(), Slew, Gain, nGatesMin, fVerbose ); if ( Abc_FrameReadLibGen() ) diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index 907a7cd2..66cb5af0 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -1034,7 +1034,7 @@ void Abc_NtkPrintGates( Abc_Ntk_t * pNtk, int fUseLibrary ) } // determine the longest gate name - nGateNameLen = 0; + nGateNameLen = 5; for ( i = 0; i < nGates; i++ ) { Counter = Mio_GateReadValue( ppGates[i] ); -- cgit v1.2.3