/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/res/ |
H A D | resSim_old.c | 194 int k, fComp1, fComp2; in Res_SimPerformOne() local 230 int k, fComp1; in Res_SimTransferOne() local
|
H A D | resSim.c | 374 int k, fComp1, fComp2; in Res_SimPerformOne() local 410 int k, fComp1; in Res_SimTransferOne() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sim/ |
H A D | simUtils.c | 234 int k, fComp1, fComp2; in Sim_UtilSimulateNode() local 305 int k, fComp1, fComp2; in Sim_UtilSimulateNodeOne() local 344 int k, fComp1; in Sim_UtilTransferNodeOne() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mapper/ |
H A D | mapperCut.c | 346 Map_Cut_t * pList1, Map_Cut_t * pList2, int fComp1, int fComp2 ) in Map_CutMergeLists() 523 Map_Cut_t * pList1, Map_Cut_t * pList2, int fComp1, int fComp2 ) in Map_CutMergeLists2() 1086 …( Map_Man_t * p, Map_Cut_t * pCut, Map_Cut_t * pTemp0, Map_Cut_t * pTemp1, int fComp0, int fComp1 ) in Map_CutComputeTruth()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/cov/ |
H A D | covTest.c | 249 …bc_NodeDeriveCover( Min_Man_t * p, Min_Cube_t * pCov0, Min_Cube_t * pCov1, int fComp0, int fComp1 ) in Abc_NodeDeriveCover()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/fpga/ |
H A D | fpgaCut.c | 355 Fpga_Cut_t * pList1, Fpga_Cut_t * pList2, int fComp1, int fComp2, int fPivot1, int fPivot2 ) in Fpga_CutMergeLists() 540 Fpga_Cut_t * pList1, Fpga_Cut_t * pList2, int fComp1, int fComp2, int fPivot1, int fPivot2 ) in Fpga_CutMergeLists2()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcDress2.c | 422 int i, k, fComp0, fComp1, Entry; in Abc_NtkDress2Transfer() local
|
H A D | abcSat.c | 226 int fComp1, Var, Var1, i; in Abc_NtkClauseAnd() local
|
H A D | abcOdc.c | 916 int k, fComp1, fComp2; in Abc_NtkDontCareTruthOne() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/ |
H A D | sscSim.c | 34 …line void Ssc_SimAnd( word * pSim, word * pSim0, word * pSim1, int nWords, int fComp0, int fComp1 ) in Ssc_SimAnd()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fraig/ |
H A D | fraigSat.c | 1106 int fComp1, RetValue, nVars, Var, Var1, i; in Fraig_SupergateAddClauses() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/dsd/ |
H A D | dsdProc.c | 589 int fComp1 = (int)( pLarge != pLargeR ); in dsdKernelDecompose_rec() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaCut.c | 489 int fComp1 = Gia_ObjFaninC1(pObj); in Gia_StoMergeCuts() local
|
H A D | giaPf.c | 787 int fComp1 = Gia_ObjFaninC1(pObj); in Pf_ObjMergeOrder() local
|
H A D | giaMf.c | 1033 int fComp1 = Gia_ObjFaninC1(pObj); in Mf_ObjMergeOrder() local
|
H A D | giaOf.c | 694 int fComp1 = Gia_ObjFaninC1(pObj); in Of_ObjMergeOrder() local
|
H A D | giaLf.c | 1199 int fComp1 = Gia_ObjFaninC1(pObj); in Lf_ObjMergeOrder() local
|
H A D | giaNf.c | 866 int fComp1 = Gia_ObjFaninC1(pObj); in Nf_ObjMergeOrder() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/ |
H A D | sbdCut.c | 603 int fComp1 = Gia_ObjFaninC1(pObj) ^ (Lit1m >= 0 && Abc_LitIsCompl(Lit1m)); in Sbd_StoMergeCuts() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
H A D | acec2Mult.c | 733 int fComp1 = Gia_ObjFaninC1(pObj); in Sdb_StoMergeCuts() local
|