| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/ |
| H A D | llb2Image.c | 188 DdNode * bBdd0, * bBdd1, * bProd, * bRes, * bTemp; in Llb_ImgPartition() local
220 …bProd = Cudd_bddXnor( dd, Cudd_bddIthVar(dd, Aig_ObjId(pObj)), (DdNode *)pObj->pData ); Cudd_Ref… in Llb_ImgPartition()
233 Cudd_RecursiveDeref( dd, bProd ); in Llb_ImgPartition()
261 DdNode * bProd, * bTemp; in Llb_ImgComputeCube() local
266 bProd = Cudd_ReadOne(dd); Cudd_Ref( bProd ); in Llb_ImgComputeCube()
269 … bProd = Cudd_bddAnd( dd, bTemp = bProd, Cudd_bddIthVar(dd, Aig_ObjId(pObj)) ); Cudd_Ref( bProd ); in Llb_ImgComputeCube()
272 Cudd_Deref( bProd ); in Llb_ImgComputeCube()
274 return bProd; in Llb_ImgComputeCube()
291 DdNode * bProd, * bRes, * bTemp; in Llb_ImgQuantifyFirst() local
305 …bProd = Llb_ImgComputeCube( pAig, (Vec_Int_t *)Vec_PtrEntry(vQuant0, i+1), dd ); Cudd_Ref( bProd… in Llb_ImgQuantifyFirst()
[all …]
|
| H A D | llb2Driver.c | 167 DdNode * bVar1, * bVar2, * bProd, * bRes, * bTemp; in Llb_DriverLastPartition() local
185 bProd = Cudd_bddXnor( dd, bVar1, bVar2 ); Cudd_Ref( bProd ); in Llb_DriverLastPartition()
188 bRes = Cudd_bddAnd( dd, bTemp = bRes, bProd ); in Llb_DriverLastPartition()
192 Cudd_RecursiveDeref( dd, bProd ); in Llb_DriverLastPartition()
197 Cudd_RecursiveDeref( dd, bProd ); in Llb_DriverLastPartition()
|
| H A D | llb3Image.c | 546 DdNode * bBdd0, * bBdd1, * bProd; in Llb_NonlinBuildBdds() local
576 …bProd = Cudd_bddXnor( dd, Cudd_bddIthVar(dd, Aig_ObjId(pObj)), (DdNode *)pObj->pData ); Cudd_Ref(… in Llb_NonlinBuildBdds()
582 …bProd = Cudd_bddXnor( dd, Cudd_bddIthVar(dd, Aig_ObjId(pObj)), bBdd0 ); Cudd_Ref(… in Llb_NonlinBuildBdds()
584 Vec_PtrPush( vResult, bProd ); in Llb_NonlinBuildBdds()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcUnreach.c | 129 DdNode * bRel, * bTemp, * bProd, * bVar, * bInputs; in Abc_NtkTransitionRelation() local
150 …bProd = Cudd_bddXnor( dd, bVar, (DdNode *)Abc_ObjGlobalBdd(Abc_ObjFanin0(pNode)) ); Cudd_Ref( bPr… in Abc_NtkTransitionRelation()
151 bRel = Cudd_bddAnd( dd, bTemp = bRel, bProd ); Cudd_Ref( bRel ); in Abc_NtkTransitionRelation()
153 Cudd_RecursiveDeref( dd, bProd ); in Abc_NtkTransitionRelation()
193 DdNode * bTemp, * bProd, * bVar; in Abc_NtkInitStateAndVarMap() local
200 bProd = b1; Cudd_Ref( bProd ); in Abc_NtkInitStateAndVarMap()
207 bProd = Cudd_bddAnd( dd, bTemp = bProd, bVar ); Cudd_Ref( bProd ); in Abc_NtkInitStateAndVarMap()
214 Cudd_Deref( bProd ); in Abc_NtkInitStateAndVarMap()
215 return bProd; in Abc_NtkInitStateAndVarMap()
|
| H A D | abcReach.c | 54 DdNode * bTemp, * bProd, * bVar; in Abc_NtkInitStateVarMap() local
61 bProd = b1; Cudd_Ref( bProd ); in Abc_NtkInitStateVarMap()
68 bProd = Cudd_bddAnd( dd, bTemp = bProd, bVar ); Cudd_Ref( bProd ); in Abc_NtkInitStateVarMap()
75 Cudd_Deref( bProd ); in Abc_NtkInitStateVarMap()
76 return bProd; in Abc_NtkInitStateVarMap()
|
| H A D | abcMv.c | 162 DdNode * bCube, * bTemp, * bProd, * bVar0, * bVar1, * bCubeSum; in Abc_MvRead() local
248 bProd = Cudd_bddAnd( p->dd, p->bValues[i][v], bCube ); Cudd_Ref( bProd ); in Abc_MvRead()
251 … p->bFuncs[i] = Cudd_bddOr( p->dd, bTemp = p->bFuncs[i], bProd ); Cudd_Ref( p->bFuncs[i] ); in Abc_MvRead()
253 Cudd_RecursiveDeref( p->dd, bProd ); in Abc_MvRead()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/bbr/ |
| H A D | bbrReach.c | 76 DdNode * bTemp, * bProd; in Bbr_bddComputeRangeCube() local
81 bProd = (dd)->one; Cudd_Ref( bProd ); in Bbr_bddComputeRangeCube()
84 bProd = Cudd_bddAnd( dd, bTemp = bProd, dd->vars[i] ); Cudd_Ref( bProd ); in Bbr_bddComputeRangeCube()
87 Cudd_Deref( bProd ); in Bbr_bddComputeRangeCube()
88 return bProd; in Bbr_bddComputeRangeCube()
127 DdNode * bTemp, * bProd; in Aig_ManInitStateVarMap() local
134 bProd = (dd)->one; Cudd_Ref( bProd ); in Aig_ManInitStateVarMap()
140 bProd = Cudd_bddAnd( dd, bTemp = bProd, Cudd_Not(pbVarsX[i]) ); Cudd_Ref( bProd ); in Aig_ManInitStateVarMap()
147 Cudd_Deref( bProd ); in Aig_ManInitStateVarMap()
148 return bProd; in Aig_ManInitStateVarMap()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/ |
| H A D | extraBddCas.c | 147 DdNode * bCube, * bTemp, * bProd; in Extra_bddEncodingBinary() local
155 bProd = Cudd_bddAnd( dd, bCube, pbFuncs[i] ); Cudd_Ref( bProd ); in Extra_bddEncodingBinary()
158 bResult = Cudd_bddOr( dd, bProd, bTemp = bResult ); Cudd_Ref( bResult ); in Extra_bddEncodingBinary()
160 Cudd_RecursiveDeref( dd, bProd ); in Extra_bddEncodingBinary()
|
| H A D | extraBddMisc.c | 701 DdNode * bTemp, * bProd; in Extra_bddComputeRangeCube() local
706 bProd = b1; Cudd_Ref( bProd ); in Extra_bddComputeRangeCube()
709 bProd = Cudd_bddAnd( dd, bTemp = bProd, dd->vars[i] ); Cudd_Ref( bProd ); in Extra_bddComputeRangeCube()
712 Cudd_Deref( bProd ); in Extra_bddComputeRangeCube()
713 return bProd; in Extra_bddComputeRangeCube()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cas/ |
| H A D | casCore.c | 512 DdNode * bCube, * bTemp, * bProd; in GetSingleOutputFunction() local
538 bProd = Cudd_bddAnd( dd, bCube, pbOuts[Order[i]] ); Cudd_Ref( bProd ); in GetSingleOutputFunction()
541 bResult = Cudd_bddOr( dd, bProd, bTemp = bResult ); Cudd_Ref( bResult ); in GetSingleOutputFunction()
543 Cudd_RecursiveDeref( dd, bProd ); in GetSingleOutputFunction()
|