From f1f1cf3eb13f014cf63a94dfa372eeb45c863a06 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 6 Apr 2014 15:54:02 -0700 Subject: Improvement in SOP balancing. --- src/base/abci/abcIf.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/base') diff --git a/src/base/abci/abcIf.c b/src/base/abci/abcIf.c index 8a52260a..3ddc9fe3 100644 --- a/src/base/abci/abcIf.c +++ b/src/base/abci/abcIf.c @@ -393,10 +393,12 @@ Hop_Obj_t * Abc_NodeBuildFromMiniInt( Hop_Man_t * pMan, Vec_Int_t * vAig, int nL } Hop_Obj_t * Abc_NodeBuildFromMini( Hop_Man_t * pMan, If_Man_t * p, If_Cut_t * pCut, int fUseDsd ) { + int Delay; if ( fUseDsd ) - If_CutDsdBalanceEval( p, pCut, p->vArray ); + Delay = If_CutDsdBalanceEval( p, pCut, p->vArray ); else - If_CutSopBalanceEval( p, pCut, p->vArray ); + Delay = If_CutSopBalanceEval( p, pCut, p->vArray ); + assert( Delay >= 0 ); return Abc_NodeBuildFromMiniInt( pMan, p->vArray, If_CutLeaveNum(pCut) ); } -- cgit v1.2.3