diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-23 19:47:49 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-23 19:47:49 -0800 |
| commit | 62c4c8b243281decc1be6cefe1697820cca0b1cf (patch) | |
| tree | 2da204c6c5f943415b007617762ba699688e8872 /src/base/wln | |
| parent | afebb18041e7bb47671c0cde5d0cd11822087463 (diff) | |
| download | abc-62c4c8b243281decc1be6cefe1697820cca0b1cf.tar.gz abc-62c4c8b243281decc1be6cefe1697820cca0b1cf.tar.bz2 abc-62c4c8b243281decc1be6cefe1697820cca0b1cf.zip | |
Adding a warning in retiming when no node delays are given.
Diffstat (limited to 'src/base/wln')
| -rw-r--r-- | src/base/wln/wlnRetime.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/base/wln/wlnRetime.c b/src/base/wln/wlnRetime.c index 3c4b4822..2f100714 100644 --- a/src/base/wln/wlnRetime.c +++ b/src/base/wln/wlnRetime.c @@ -538,13 +538,18 @@ void Wln_RetAddToMoves( Wln_Ret_t * p, Vec_Int_t * vSet, int Delay, int fForward ***********************************************************************/ void Wln_NtkRetimeCreateDelayInfo( Wln_Ntk_t * pNtk ) { + int i, iObj; // if ( Wln_NtkHasInstId(pNtk) ) // Vec_IntErase( &pNtk->vInstIds ); if ( Wln_NtkHasInstId(pNtk) ) + { printf( "Using delays given by the user in the input file.\n" ); + Wln_NtkForEachObj( pNtk, iObj ) + if ( !Wln_ObjIsCio(pNtk, iObj) && Wln_ObjInstId(pNtk, iObj) == 0 ) + printf( "Warning: Object %d of type %s has zero delay. Retiming will not work correctly.\n", iObj, Abc_OperName(Wln_ObjType(pNtk, iObj)) ); + } else { - int i, iObj; printf( "The design has no delay information.\n" ); Wln_NtkCleanInstId(pNtk); Wln_NtkForEachObj( pNtk, iObj ) |