diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-01 20:50:59 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-01 20:50:59 -0800 |
| commit | 7b1c25086b650aa0b86280ea8c97ececbac79732 (patch) | |
| tree | 8cc4cc28a9901ca91298f953eea9c8fb80cc9801 /src/map/scl/sclBuffer.c | |
| parent | a704e9c9ff9470cd1af184c0f37d42198b86f419 (diff) | |
| download | abc-7b1c25086b650aa0b86280ea8c97ececbac79732.tar.gz abc-7b1c25086b650aa0b86280ea8c97ececbac79732.tar.bz2 abc-7b1c25086b650aa0b86280ea8c97ececbac79732.zip | |
Improvements and tuning of CBA.
Diffstat (limited to 'src/map/scl/sclBuffer.c')
| -rw-r--r-- | src/map/scl/sclBuffer.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/map/scl/sclBuffer.c b/src/map/scl/sclBuffer.c index 679bba5d..97f5f095 100644 --- a/src/map/scl/sclBuffer.c +++ b/src/map/scl/sclBuffer.c @@ -296,6 +296,8 @@ int Abc_SclCheckNtk( Abc_Ntk_t * p, int fVerbose ) if ( !Abc_NodeIsTravIdCurrent( pFanin ) ) printf( "obj %d and its fanin %d are not in the topo order\n", Abc_ObjId(pObj), Abc_ObjId(pFanin) ), fFlag = 0; Abc_NodeSetTravIdCurrent( pObj ); + if ( Abc_ObjIsBarBuf(pObj) ) + continue; if ( Abc_ObjFanoutNum(pObj) == 0 ) printf( "node %d has no fanout\n", Abc_ObjId(pObj) ), fFlag = 0; if ( !fFlag ) |