diff options
Diffstat (limited to 'src/map/scl/sclUtil.c')
| -rw-r--r-- | src/map/scl/sclUtil.c | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/src/map/scl/sclUtil.c b/src/map/scl/sclUtil.c index 45980b6f..2d73a375 100644 --- a/src/map/scl/sclUtil.c +++ b/src/map/scl/sclUtil.c @@ -218,6 +218,41 @@ char * Abc_SclFindGateFormula( char * pGateName, char * pOutName ) return Mio_GateReadForm(pGate); } +/**Function************************************************************* + + Synopsis [Reads timing constraints.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Abc_SclReadTimingConstr( Abc_Frame_t * pAbc, char * pFileName, int fVerbose ) +{ + char Buffer[1000], * pToken; + FILE * pFile = fopen( pFileName, "rb" ); + while ( fgets( Buffer, 1000, pFile ) ) + { + pToken = strtok( Buffer, " \t\r\n" ); + if ( !strcmp(pToken, "set_driving_cell") ) + { + Abc_FrameSetDrivingCell( Abc_UtilStrsav(strtok(NULL, " \t\r\n")) ); + if ( fVerbose ) + printf( "Setting driving cell to be \"%s\".\n", Abc_FrameReadDrivingCell() ); + } + else if ( !strcmp(pToken, "set_load") ) + { + Abc_FrameSetMaxLoad( atof(strtok(NULL, " \t\r\n")) ); + if ( fVerbose ) + printf( "Setting driving cell to be %f.\n", Abc_FrameReadMaxLoad() ); + } + else + printf( "Unrecognized token \"%s\".\n", pToken ); + } + fclose( pFile ); +} //////////////////////////////////////////////////////////////////////// /// END OF FILE /// |