diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-23 19:59:11 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-23 19:59:11 -0800 |
| commit | 8eb6aed5d116afc0933b49c6973af08cf2eff471 (patch) | |
| tree | 1034e50d7ce75eb97aa23dac89a791df91b80b78 /src | |
| parent | 62c4c8b243281decc1be6cefe1697820cca0b1cf (diff) | |
| download | abc-8eb6aed5d116afc0933b49c6973af08cf2eff471.tar.gz abc-8eb6aed5d116afc0933b49c6973af08cf2eff471.tar.bz2 abc-8eb6aed5d116afc0933b49c6973af08cf2eff471.zip | |
Adding a warning in retiming when no node delays are given.
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/wln/wlnRetime.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wln/wlnRetime.c b/src/base/wln/wlnRetime.c index 2f100714..2d7c814b 100644 --- a/src/base/wln/wlnRetime.c +++ b/src/base/wln/wlnRetime.c @@ -545,7 +545,7 @@ void Wln_NtkRetimeCreateDelayInfo( Wln_Ntk_t * 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 ) + if ( !Wln_ObjIsCio(pNtk, iObj) && !Wln_ObjIsConst(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 |