summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcIf.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2016-08-05 20:43:45 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2016-08-05 20:43:45 -0700
commitc42aeb81a491c2276c997c909453d44c83c08cba (patch)
treec98c903b9c1ad78683fc6c9fcf36c8697c1ab068 /src/base/abci/abcIf.c
parent640100954ad8bdc1c77e981e8ba4ccb883bc8bef (diff)
downloadabc-c42aeb81a491c2276c997c909453d44c83c08cba.tar.gz
abc-c42aeb81a491c2276c997c909453d44c83c08cba.tar.bz2
abc-c42aeb81a491c2276c997c909453d44c83c08cba.zip
Handling constant and buffer cut in exact synthesis.
Diffstat (limited to 'src/base/abci/abcIf.c')
-rw-r--r--src/base/abci/abcIf.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcIf.c b/src/base/abci/abcIf.c
index 6b760de2..08e2a560 100644
--- a/src/base/abci/abcIf.c
+++ b/src/base/abci/abcIf.c
@@ -452,7 +452,7 @@ Abc_Obj_t * Abc_NodeFromIf_rec( Abc_Ntk_t * pNtkNew, If_Man_t * pIfMan, If_Obj_t
Abc_Obj_t * pFanins[IF_MAX_FUNC_LUTSIZE];
If_CutForEachLeaf( pIfMan, pCutBest, pIfLeaf, i )
pFanins[i] = Abc_NodeFromIf_rec(pNtkNew, pIfMan, pIfLeaf, vCover);
- pNodeNew = Abc_ExactBuildNode( If_CutTruthW(pIfMan, pCutBest), If_CutLeaveNum(pCutBest), If_CutArrTimeProfile(pIfMan, pCutBest), pFanins );
+ pNodeNew = Abc_ExactBuildNode( If_CutTruthW(pIfMan, pCutBest), If_CutLeaveNum(pCutBest), If_CutArrTimeProfile(pIfMan, pCutBest), pFanins, pNtkNew );
If_ObjSetCopy( pIfObj, pNodeNew );
return pNodeNew;
}