diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-21 12:58:13 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-21 12:58:13 -0800 |
| commit | 00efa6805380739f36ca9cc73623aefe25eeb9b5 (patch) | |
| tree | 57a55224c99f1fc2e4d711e3bdef16e4c54dc844 /src/base | |
| parent | 962ad3b0b106accb74bd9160951d4ca65533073b (diff) | |
| download | abc-00efa6805380739f36ca9cc73623aefe25eeb9b5.tar.gz abc-00efa6805380739f36ca9cc73623aefe25eeb9b5.tar.bz2 abc-00efa6805380739f36ca9cc73623aefe25eeb9b5.zip | |
Several changes to allow Liberty files without delay info.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abcMap.c | 2 | ||||
| -rw-r--r-- | src/base/abci/abcPrint.c | 2 |
2 files changed, 2 insertions, 2 deletions
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] ); |