Integrated buffering and sizing.

This commit is contained in:
Alan Mishchenko 2013-08-10 18:13:03 -07:00
parent 6c4252c5c9
commit 679a9a021a
1 changed files with 1 additions and 1 deletions

View File

@ -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) );