diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-06 15:54:02 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-06 15:54:02 -0700 |
| commit | f1f1cf3eb13f014cf63a94dfa372eeb45c863a06 (patch) | |
| tree | 86afb85e4ff550d34ae1f88f97abc0fef2e6ada2 /src/base | |
| parent | a26d61f47d77d7174184c96cb5e8592ea4263dbc (diff) | |
| download | abc-f1f1cf3eb13f014cf63a94dfa372eeb45c863a06.tar.gz abc-f1f1cf3eb13f014cf63a94dfa372eeb45c863a06.tar.bz2 abc-f1f1cf3eb13f014cf63a94dfa372eeb45c863a06.zip | |
Improvement in SOP balancing.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abcIf.c | 6 |
1 files changed, 4 insertions, 2 deletions
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) ); } |