Home
last modified time | relevance | path

Searched defs:uTruth (Results 1 – 25 of 100) sorted by relevance

1234

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mapper/
H A DmapperCanon.c48 int Map_CanonComputeSlow( unsigned uTruths[][2], int nVarsMax, int nVarsReal, unsigned uTruth[], un… in Map_CanonComputeSlow()
112 unsigned Map_CanonComputePhase( unsigned uTruths[][2], int nVars, unsigned uTruth, unsigned uPhase ) in Map_CanonComputePhase()
132 void Map_CanonComputePhase6( unsigned uTruths[][2], int nVars, unsigned uTruth[], unsigned uPhase, … in Map_CanonComputePhase6()
173 int Map_CanonComputeFast( Map_Man_t * p, int nVarsMax, int nVarsReal, unsigned uTruth[], unsigned c… in Map_CanonComputeFast()
H A DmapperTruth.c97 unsigned uTruth[2], uCanon[2]; in Map_TruthsCut() local
197 void Map_TruthsCutOne( Map_Man_t * p, Map_Cut_t * pCut, unsigned uTruth[] ) in Map_TruthsCutOne()
H A DmapperTable.c137 int Map_SuperTableInsert( Map_HashTable_t * p, unsigned uTruth[], Map_Super_t * pGate, unsigned uPh… in Map_SuperTableInsert()
183 Map_Super_t * Map_SuperTableLookupC( Map_SuperLib_t * p, unsigned uTruth[] ) in Map_SuperTableLookupC()
208 Map_Super_t * Map_SuperTableLookup( Map_HashTable_t * p, unsigned uTruth[], unsigned * puPhase ) in Map_SuperTableLookup()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/
H A DivyDsd.c83 static inline int Ivy_TruthCofactorIsConst( unsigned uTruth, int Var, int Cof, int Const ) in Ivy_TruthCofactorIsConst()
91 static inline int Ivy_TruthCofactorIsOne( unsigned uTruth, int Var ) in Ivy_TruthCofactorIsOne()
96 static inline unsigned Ivy_TruthCofactor( unsigned uTruth, int Var ) in Ivy_TruthCofactor()
105 static inline unsigned Ivy_TruthCofactor2( unsigned uTruth, int Var0, int Var1 ) in Ivy_TruthCofactor2()
111 static inline int Ivy_TruthDepends( unsigned uTruth, int Var ) in Ivy_TruthDepends()
166 int Ivy_TruthDsd( unsigned uTruth, Vec_Int_t * vTree ) in Ivy_TruthDsd()
219 int Ivy_TruthDecompose_rec( unsigned uTruth, Vec_Int_t * vTree ) in Ivy_TruthDecompose_rec()
319 int Ivy_TruthRecognizeMuxMaj( unsigned uTruth, int * pSupp, int nSupp, Vec_Int_t * vTree ) in Ivy_TruthRecognizeMuxMaj()
678 void Ivy_TruthDsdComputePrint( unsigned uTruth ) in Ivy_TruthDsdComputePrint()
700 void Ivy_TruthTestOne( unsigned uTruth ) in Ivy_TruthTestOne()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/
H A DdarCut.c418 static inline unsigned Dar_CutTruthSwapAdjacentVars( unsigned uTruth, int iVar ) in Dar_CutTruthSwapAdjacentVars()
442 static inline unsigned Dar_CutTruthSwapPolarity( unsigned uTruth, int iVar ) in Dar_CutTruthSwapPolarity()
470 static inline unsigned Dar_CutTruthStretch( unsigned uTruth, int nVars, unsigned Phase ) in Dar_CutTruthStretch()
497 static inline unsigned Dar_CutTruthShrink( unsigned uTruth, int nVars, unsigned Phase ) in Dar_CutTruthShrink()
521 unsigned Dar_CutSortVars( unsigned uTruth, int * pVars ) in Dar_CutSortVars()
608 unsigned uPhase = 0, uTruth = 0xFFFF & pCut->uTruth; in Dar_CutSuppMinimize() local
H A DdarPrec.c254 unsigned Dar_TruthPolarize( unsigned uTruth, int Polarity, int nVars ) in Dar_TruthPolarize()
297 unsigned uTruth, uPhase, uPerm; in Dar_Truth4VarNPN() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/rwr/
H A DrwrLib.c138 unsigned uTruth; in Rwr_ManTryNode() local
209 unsigned uTruth; in Rwr_ManAddNode() local
253 Rwr_Node_t * Rwr_ManAddVar( Rwr_Man_t * p, unsigned uTruth, int fPrecompute ) in Rwr_ManAddVar()
H A DrwrExp.c93 void Rwt_Man4ExploreCount( unsigned uTruth ) in Rwt_Man4ExploreCount()
202 void Rwt_Man5ExploreCount( unsigned uTruth ) in Rwt_Man5ExploreCount()
228 unsigned uTruth, uTruthC; in Rwt_Man5ExplorePrint() local
H A DrwrPrint.c210 unsigned uTruth; in Rwr_NodePrint() local
241 unsigned uTruth; in Rwr_ManPrint() local
H A DrwrEva.c67 unsigned uTruth; in Rwr_NodeRewrite() local
261 unsigned uTruth; in Rwr_CutEvaluate() local
557 unsigned uTruth; in Rwr_ScoresReport() local
H A DrwrTemp.c76 unsigned uTruth; in Rwr_Temp() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcNpnSave.c36 word uTruth; // truth table member
191 word Npn_TruthPadWord( word uTruth, int nVars ) in Npn_TruthPadWord()
374 static inline int Npn_ManHash( Npn_Man_t * p, word uTruth ) in Npn_ManHash()
437 Npn_Obj_t * Npn_ManAdd( Npn_Man_t * p, word uTruth ) in Npn_ManAdd()
488 word uTruth; in Npn_ManRead() local
716 word uTruth = (((word)puTruth[1]) << 32) | (word)puTruth[0]; in Npn_ManSaveOne() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/
H A DextraUtilMisc.c440 unsigned Extra_TruthCanonN( unsigned uTruth, int nVars ) in Extra_TruthCanonN()
466 unsigned Extra_TruthCanonNN( unsigned uTruth, int nVars ) in Extra_TruthCanonNN()
496 unsigned Extra_TruthCanonP( unsigned uTruth, int nVars ) in Extra_TruthCanonP()
539 unsigned Extra_TruthCanonNP( unsigned uTruth, int nVars ) in Extra_TruthCanonNP()
647 unsigned uTruth, uPhase, uPerm; in Extra_Truth4VarNPN() local
751 unsigned uTruth, uPhase, uTruth32; in Extra_Truth3VarN() local
818 unsigned uTruth, uPhase; in Extra_Truth4VarN() local
1912 unsigned uTruth; in Extra_TruthPerm43() local
1938 unsigned uTruth; in Extra_TruthPerm53() local
1964 unsigned uTruth; in Extra_TruthPerm54() local
[all …]
H A DextraUtilCanon.c636 unsigned uTruth; in Map_Var3Test() local
669 unsigned uTruth; in Map_Var4Test() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/
H A DsfmSat.c164 word * pSign, uCube, uTruth = 0; in Sfm_ComputeInterpolant() local
245 word uTruth; in Sfm_ComputeInterpolantCheck() local
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/
H A DdarCut.c406 static inline unsigned Dar_CutTruthSwapAdjacentVars( unsigned uTruth, int iVar ) in Dar_CutTruthSwapAdjacentVars()
432 static inline unsigned Dar_CutTruthStretch( unsigned uTruth, int nVars, unsigned Phase ) in Dar_CutTruthStretch()
459 static inline unsigned Dar_CutTruthShrink( unsigned uTruth, int nVars, unsigned Phase ) in Dar_CutTruthShrink()
511 unsigned uPhase = 0, uTruth = 0xFFFF & pCut->uTruth; in Dar_CutSuppMinimize() local
H A DdarPrec.c269 unsigned Dar_TruthPolarize( unsigned uTruth, int Polarity, int nVars ) in Dar_TruthPolarize()
312 unsigned uTruth, uPhase, uPerm; in Dar_Truth4VarNPN() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbPush.c154 word uTruth = Acb_ObjTruth( p, iObj ); in Acb_ObjSuppMin_int() local
172 word c00, c11, uTruthNew, uTruth = Acb_ObjTruth( p, iObj ); in Acb_ObjRemoveDup() local
204 word uTruth = Acb_ObjTruth( p, iObj ); in Acb_ObjRemoveConst() local
223 word uTruth = Acb_ObjTruth( p, iObj ); in Acb_ObjRemoveBufInv() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/rwt/
H A DrwtUtil.c446 Rwt_Node_t * Rwt_ManAddVar( Rwt_Man_t * p, unsigned uTruth, int fPrecompute ) in Rwt_ManAddVar()
480 unsigned uTruth; in Rwt_ManAddNode() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/dec/
H A DdecUtil.c105 unsigned uTruth = 0; // Suppress "might be used uninitialized" in Dec_GraphDeriveTruth() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mio/
H A Dmio.h53 word uTruth; // truth table member
67 word uTruth; // truth table member
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/cnf/
H A DcnfData.c4603 int uTruth = 0, uCube, Lit; in Cnf_ReadMsops() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/cnf/
H A DcnfData.c4588 int uTruth = 0, uCube, Lit; in Cnf_ReadMsops() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/
H A DmpmDsd.c857 word uTruth = s_DsdClass6[i].uTruth; in Mpm_ManPrecomputePerms() local
886 word uTruth = pMan->pDsd6[iClass].uTruth; in Mpm_CutTruthFromDsd() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/super/
H A DsuperAnd.c59 unsigned uTruth; // the truth table of this supergate member
340 unsigned uTruth, uTruthR, uTruth1, uTruth2, uTruth1c, uTruth2c; in Super2_LibCompute() local
544 unsigned uTruth; in Super2_LibWriteGate() local

1234