Home
last modified time | relevance | path

Searched defs:pFanins (Results 1 – 25 of 45) sorted by relevance

12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/
H A DkitAig.c79 Aig_Obj_t * Kit_GraphToAig( Aig_Man_t * pMan, Aig_Obj_t ** pFanins, Kit_Graph_t * pGraph ) in Kit_GraphToAig()
101 Aig_Obj_t * Kit_TruthToAig( Aig_Man_t * pMan, Aig_Obj_t ** pFanins, unsigned * pTruth, int nVars, V… in Kit_TruthToAig()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbPush.c153 int k, iFanin, * pFanins; in Acb_ObjSuppMin_int() local
185 int i, k, * pFanins = Acb_ObjFanins( p, iObj ); in Acb_ObjRemoveDupFanins_int() local
267 int k, iFanin, * pFanins; in Acb_ObjFindFaninPushableIndex() local
275 int k, iFanin, * pFanins; in Acb_ObjFindFanoutPushableIndex() local
283 int k, k2, iFanin, * pFanins; in Acb_ObjPushToFanins() local
H A DacbMfs.c168 int k, iFanin, * pFanins, Prev, This; in Acb_DeriveCnfForNode() local
199 int i, k, iObj, iObjLit, iFanin, * pFanins, Entry; in Acb_NtkWindow2Cnf() local
466 int k, iFanin, * pFanins; in Acb_NtkDivisors_rec() local
478 int k, iFanin, * pFanins; in Acb_NtkDivisors() local
663 int i, k, Node, iFanin, * pFanins; in Acb_NtkCollectTfoSideInputs() local
689 int i, iFanin, * pFanins; in Acb_NtkCollectNewTfi1_rec() local
700 int i, iFanin, * pFanins; in Acb_NtkCollectNewTfi2_rec() local
750 int i, k, iObj, iFanin, * pFanins; in Acb_NtkCollectWindow() local
916 int nSuppNew, status, k, iFanin, * pFanins; in Acb_NtkFindSupp1() local
937 int nSuppNew, status, k, iFanin, * pFanins, k2, iFanin2, * pFanins2; in Acb_NtkFindSupp2() local
[all …]
H A DacbUtil.c111 int * pFanins, iFanin, k, Level = 0; in Acb_ObjComputeLevelD() local
178 int * pFanins, iFanin, k, Path = 0; in Acb_ObjComputePathD() local
406 int k, iFanin, * pFanins; in Acb_NtkPrintNode() local
424 int k, iFanin, * pFanins; in Acb_NtkResetNode() local
452 int k, iFanin, * pFanins; in Acb_NtkSaveSupport() local
H A Dacb.h375 #define Acb_ObjForEachFaninFast( p, iObj, pFanins, iFanin, k ) \ argument
410 int k, iFanin, * pFanins; in Acb_ObjWhatFanin() local
418 int * pFanins = Acb_ObjFanins( p, iObj ); in Acb_ObjAddFanin() local
425 int i, * pFanins = Acb_ObjFanins( p, iObj ); in Acb_ObjDeleteFaninIndex() local
433 int * pFanins = Acb_ObjFanins( p, iObj ); in Acb_ObjDeleteFanin() local
447 int * pFanins = Acb_ObjFanins( p, iObj ); in Acb_ObjSetNtkId() local
453 int i, * pFanins = Acb_ObjFanins( p, iObj ); in Acb_ObjRemoveFanins() local
531 int k, iFanin, * pFanins; in Acb_ObjAddFaninFanout() local
543 int k, iFanin, * pFanins; in Acb_ObjRemoveFaninFanout() local
552 int i, RetValue, * pFanins = Acb_ObjFanins( p, iObj ); in Acb_ObjPatchFanin() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A DacecOrder.c216 int * pFanins = Vec_IntEntryP( vFadds, 5*Node ); in Gia_PolynReorder() local
222 int * pFanins = Vec_IntEntryP( vHadds, 2*Node ); in Gia_PolynReorder() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcLutmin.c128 Abc_Obj_t * Abc_NtkBddMux21( Abc_Ntk_t * pNtkNew, Abc_Obj_t * pFanins[] ) in Abc_NtkBddMux21()
155 Abc_Obj_t * Abc_NtkBddMux411( Abc_Ntk_t * pNtkNew, Abc_Obj_t * pFanins[] ) in Abc_NtkBddMux411()
188 Abc_Obj_t * Abc_NtkBddMux412( Abc_Ntk_t * pNtkNew, Abc_Obj_t * pFanins[] ) in Abc_NtkBddMux412()
229 Abc_Obj_t * Abc_NtkBddMux412a( Abc_Ntk_t * pNtkNew, Abc_Obj_t * pFanins[] ) in Abc_NtkBddMux412a()
269 Abc_Obj_t * Abc_NtkBddMux413( Abc_Ntk_t * pNtkNew, Abc_Obj_t * pFanins[] ) in Abc_NtkBddMux413()
H A DabcIf.c452 Abc_Obj_t * pFanins[IF_MAX_FUNC_LUTSIZE]; in Abc_NodeFromIf_rec() local
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/kit/
H A DkitAig.c94 Aig_Obj_t * Kit_GraphToAig( Aig_Man_t * pMan, Aig_Obj_t ** pFanins, Kit_Graph_t * pGraph ) in Kit_GraphToAig()
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/cnf/
H A DcnfCut.c211 static inline int Cnf_CutMergeLeaves( Cnf_Cut_t * pCut, Cnf_Cut_t * pCutFan, int * pFanins ) in Cnf_CutMergeLeaves()
312 static THREAD_LOCAL int pFanins[32]; in Cnf_CutCompose() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/cnf/
H A DcnfCut.c196 static inline int Cnf_CutMergeLeaves( Cnf_Cut_t * pCut, Cnf_Cut_t * pCutFan, int * pFanins ) in Cnf_CutMergeLeaves()
297 static int pFanins[32]; in Cnf_CutCompose() local
H A Dcnf.h77 int pFanins[0]; // the fanins (followed by the truth table) member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/
H A DsfmLib.c537 void Sfm_LibPrintGate( Mio_Cell2_t * pCell, char * pFanins, Mio_Cell2_t * pCell2, char * pFanins2 ) in Sfm_LibPrintGate()
625 int Sfm_LibFindDelayMatches( Sfm_Lib_t * p, word * pTruth, int * pFanins, int nFanins, Vec_Ptr_t * … in Sfm_LibFindDelayMatches()
679 int Sfm_LibImplementSimple( Sfm_Lib_t * p, word * pTruth, int * pFanins, int nFanins, Vec_Int_t * v… in Sfm_LibImplementSimple()
704 int Sfm_LibImplementGatesArea( Sfm_Lib_t * p, int * pFanins, int nFanins, int iObj, Vec_Int_t * vGa… in Sfm_LibImplementGatesArea()
736 int Sfm_LibImplementGatesDelay( Sfm_Lib_t * p, int * pFanins, Mio_Gate_t * pGateB, Mio_Gate_t * pGa… in Sfm_LibImplementGatesDelay()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcNdr.c323 int * pFanins = Wlc_ObjFanins(pObj); in Ndr_NtkPrintNodes() local
458 int * pFanins = Wlc_ObjFanins(pObj); in Wlc_NtkFromNdr() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcMaj3.c170 static inline int Maj3_ManFindFanin( Maj3_Man_t * p, int i, int * pFanins ) in Maj3_ManFindFanin()
196 int i, k, iVar, nFanins, pFanins[MAJ3_OBJS]; in Maj3_ManPrintSolution() local
219 int i, k, iMint, pFanins[3]; word * pFaninsW[3]; in Maj3_ManEval() local
378 int i, pFanins[MAJ3_OBJS], nConstr = 0; in Maj3_ManAddConstraintsLazy() local
568 int pFanins[MAJ3_OBJS][MAJ3_OBJS]; // fanins member
1427 word * pFaninsW[6]; char * pTruth, * pFanins; in Zyx_TestReadNode() local
H A DbmcMaj.c189 int i, k, iMint; word * pFanins[3]; in Maj_ManEval() local
542 int i, k, iMint; word * pFanins[2]; in Exa_ManEval() local
1022 int i, k, j, iMint; word * pFanins[6]; in Exa3_ManEval() local
1260 int pFanins[16]; in Exa3_ManAddCnf2() local
H A DbmcMaj2.c285 int i, k, iMint; word * pFanins[3]; in Maj_ManEval() local
646 int i, k, iMint; word * pFanins[2]; in Exa_ManEval() local
1082 int i, k, j, iMint; word * pFanins[6]; in Exa3_ManEval() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/
H A DwlnRetime.c177 int * pFanins = Wln_RetFanins( p, iObj ); in Wln_RetAlloc() local
427 int * pFanins = Wln_RetFanins( p, iObj ); in Wln_RetRemoveOneFanin() local
460 int * pFanins = Wln_RetFanins( p, iObj ); in Wln_RetInsertOneFanin() local
/dports/math/stp/stp-2.3.3/lib/extlib-abc/
H A Dcnf_short.h90 int pFanins[0]; // the fanins (followed by the truth table) member
H A Dcnf.h90 int pFanins[0]; // the fanins (followed by the truth table) member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaGig.c421 …int * pFanins = Type == GLS_LUT4 ? Vec_IntEntryP(p->vLut4s, 4*Index) : Vec_IntEntryP(p->vLut6s, 6*… in Gls_ManConstruct() local
H A DgiaSatLE.c565 int nFanins, * pFanins, * pCut, * pList, iFound = -1; in Sle_ManDeriveInit() local
912 int * pFanins = Gia_ObjLutFanins( p->pGia, iObj ); in Sle_ManDeriveResult() local
H A DgiaIf.c391 void Gia_ManPrintGetMuxFanins( Gia_Man_t * p, Gia_Obj_t * pObj, int * pFanins ) in Gia_ManPrintGetMuxFanins()
402 int i, pFanins[3], nCountDup = 0, nCountPis = 0, nCountMux = 0; in Gia_ManCountDupLut() local
465 int pFanins[3]; in Gia_ManPrintMappingStats() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/csw/
H A DcswInt.h66 int pFanins[0]; // the fanins (followed by the truth table) member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/
H A DdauGia.c54 int Dau_DsdToGiaCompose_rec( Gia_Man_t * pGia, word Func, int * pFanins, int nVars ) in Dau_DsdToGiaCompose_rec()

12