diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-10 18:13:03 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-10 18:13:03 -0700 |
| commit | 679a9a021a6b9d6fd346a3849e981aeb4f619dff (patch) | |
| tree | d8677e6008dd856143f6c4296686d2db86938654 /src | |
| parent | 6c4252c5c96f53c0e90c54287ab4864ed5f7d1a9 (diff) | |
| download | abc-679a9a021a6b9d6fd346a3849e981aeb4f619dff.tar.gz abc-679a9a021a6b9d6fd346a3849e981aeb4f619dff.tar.bz2 abc-679a9a021a6b9d6fd346a3849e981aeb4f619dff.zip | |
Integrated buffering and sizing.
Diffstat (limited to 'src')
| -rw-r--r-- | src/map/scl/sclBufSize.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/scl/sclBufSize.c b/src/map/scl/sclBufSize.c index 9211c429..9925c7ef 100644 --- a/src/map/scl/sclBufSize.c +++ b/src/map/scl/sclBufSize.c @@ -434,7 +434,7 @@ void Abc_SclBufSize( Bus_Man_t * p ) Abc_SclObjSetCell( pObj, pCellNew ); if ( p->pPars->fVeryVerbose ) Abc_SclOneNodePrint( p, pObj ); - assert( Abc_ObjFanoutNum(pObj) <= p->pPars->nDegree ); + assert( p->pPars->fSizeOnly || Abc_ObjFanoutNum(pObj) <= p->pPars->nDegree ); } Abc_NtkForEachCi( p->pNtk, pObj, i ) DeptMax = Abc_MaxFloat( DeptMax, Abc_NtkComputeNodeDeparture(pObj, p->pPars->Slew) ); |