Home
last modified time | relevance | path

Searched refs:uTruths (Results 1 – 25 of 26) sorted by relevance

12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mapper/
H A DmapperCanon.c28 static unsigned Map_CanonComputePhase( unsigned uTruths[][2], int nVars, unsigned uTruth, unsigned …
29 static void Map_CanonComputePhase6( unsigned uTruths[][2], int nVars, unsigned uTruth[], unsign…
60 uTruthPerm[0] = Map_CanonComputePhase( uTruths, nVarsMax, uTruth[0], m ); in Map_CanonComputeSlow()
81 Map_CanonComputePhase6( uTruths, nVarsMax, uTruth, m, uTruthPerm ); in Map_CanonComputeSlow()
112 unsigned Map_CanonComputePhase( unsigned uTruths[][2], int nVars, unsigned uTruth, unsigned uPhase ) in Map_CanonComputePhase()
117 uTruth = (((uTruth & ~uTruths[v][0]) << Shift) | ((uTruth & uTruths[v][0]) >> Shift)); in Map_CanonComputePhase()
132 void Map_CanonComputePhase6( unsigned uTruths[][2], int nVars, unsigned uTruth[], unsigned uPhase, … in Map_CanonComputePhase6()
148 …uTruthRes[0] = (((uTruthRes[0] & ~uTruths[v][0]) << Shift) | ((uTruthRes[0] & uTruths[v][0]) >> Sh… in Map_CanonComputePhase6()
149 …uTruthRes[1] = (((uTruthRes[1] & ~uTruths[v][1]) << Shift) | ((uTruthRes[1] & uTruths[v][1]) >> Sh… in Map_CanonComputePhase6()
181 return Map_CanonComputeSlow( p->uTruths, nVarsMax, nVarsReal, uTruth, puPhases, uTruthRes ); in Map_CanonComputeFast()
[all …]
H A DmapperUtils.c335 void Map_MappingSetupTruthTables( unsigned uTruths[][2] ) in Map_MappingSetupTruthTables()
342 uTruths[v][0] |= (1 << m); in Map_MappingSetupTruthTables()
345 uTruths[v][1] = uTruths[v][0]; in Map_MappingSetupTruthTables()
346 uTruths[5][0] = 0; in Map_MappingSetupTruthTables()
347 uTruths[5][1] = MAP_FULL; in Map_MappingSetupTruthTables()
361 void Map_MappingSetupTruthTablesLarge( unsigned uTruths[][32] ) in Map_MappingSetupTruthTablesLarge()
367 uTruths[v][m] = 0; in Map_MappingSetupTruthTablesLarge()
373 uTruths[v][0] |= (1 << m); in Map_MappingSetupTruthTablesLarge()
374 uTruths[v+5][m] = MAP_FULL; in Map_MappingSetupTruthTablesLarge()
379 uTruths[v][m] = uTruths[v][0]; in Map_MappingSetupTruthTablesLarge()
H A DmapperTree.c469 pGate->uTruth[0] = pLib->uTruths[i][0]; in Map_LibraryReadFileTreeStr()
470 pGate->uTruth[1] = pLib->uTruths[i][1]; in Map_LibraryReadFileTreeStr()
591 unsigned uTruths[6][2]; in Map_LibraryDeriveGateInfo() local
618 uTruths[k][0] = pFanin->uTruth[0]; in Map_LibraryDeriveGateInfo()
619 uTruths[k][1] = pFanin->uTruth[1]; in Map_LibraryDeriveGateInfo()
622 Mio_DeriveTruthTable( pGate->pRoot, uTruths, pGate->nFanins, 6, pGate->uTruth ); in Map_LibraryDeriveGateInfo()
918 unsigned Map_CalculatePhase( unsigned uTruths[][2], int nVars, unsigned uTruth, unsigned uPhase ) in Map_CalculatePhase()
923 uTruth = (((uTruth & ~uTruths[v][0]) << Shift) | ((uTruth & uTruths[v][0]) >> Shift)); in Map_CalculatePhase()
938 void Map_CalculatePhase6( unsigned uTruths[][2], int nVars, unsigned uTruth[], unsigned uPhase, uns… in Map_CalculatePhase6()
954 …uTruthRes[0] = (((uTruthRes[0] & ~uTruths[v][0]) << Shift) | ((uTruthRes[0] & uTruths[v][0]) >> Sh… in Map_CalculatePhase6()
[all …]
H A DmapperTruth.c125 Map_CanonComputeSlow( p->uTruths, p->nVarsMax, pCut->nLeaves, uTruth, uPhases, uCanon ); in Map_TruthsCut()
142 Map_CanonComputeSlow( p->uTruths, p->nVarsMax, pCut->nLeaves, uTruth, uPhases, uCanon ); in Map_TruthsCut()
155 Map_CanonComputeSlow( p->uTruths, p->nVarsMax, pCut->nLeaves, uTruth, uPhases, uCanon ); in Map_TruthsCut()
172 Map_CanonComputeSlow( p->uTruths, p->nVarsMax, pCut->nLeaves, uTruth, uPhases, uCanon ); in Map_TruthsCut()
207 pTemp->M[0].uPhaseBest = p->uTruths[i][0]; in Map_TruthsCutOne()
208 pTemp->M[1].uPhaseBest = p->uTruths[i][1]; in Map_TruthsCutOne()
H A Dmapper.h163 extern int Map_CanonComputeSlow( unsigned uTruths[][2], int nVarsMax, int nVarsReal, un…
188 extern void Map_MappingSetupTruthTables( unsigned uTruths[][2] );
189 extern void Map_MappingSetupTruthTablesLarge( unsigned uTruths[][32] );
H A DmapperSuper.c159 …pGate->nPhases = Map_CanonComputeSlow( pLib->uTruths, pLib->nVarsMax, pLib->nVarsMax, pGate->uTrut… in Map_LibraryReadFile()
348 Map_LibraryComputeTruth_rec( pLib, Buffer, pLib->uTruths, uTruthRes ); in Map_LibraryComputeTruth()
H A DmapperInt.h130 unsigned uTruths[6][2]; // the elementary truth tables member
187 unsigned uTruths[6][2]; // the elementary truth tables member
H A DmapperLib.c71 Map_MappingSetupTruthTables( p->uTruths ); in Map_SuperLibCreate()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcAttach.c35 static void Abc_AttachSetupTruthTables( unsigned uTruths[][2] );
64 unsigned uTruths[6][2]; in Abc_NtkAttach() local
80 Abc_AttachSetupTruthTables( uTruths ); in Abc_NtkAttach()
120 else if ( !Abc_NodeAttach( pNode, ppGates, puTruthGates, nGates, uTruths ) ) in Abc_NtkAttach()
183 Abc_AttachComputeTruth( (char *)pNode->pData, uTruths, uTruthNode ); in Abc_NodeAttach()
210 void Abc_AttachSetupTruthTables( unsigned uTruths[][2] ) in Abc_AttachSetupTruthTables()
214 uTruths[v][0] = 0; in Abc_AttachSetupTruthTables()
219 uTruths[v][0] |= (1 << m); in Abc_AttachSetupTruthTables()
222 uTruths[v][1] = uTruths[v][0]; in Abc_AttachSetupTruthTables()
223 uTruths[5][0] = 0; in Abc_AttachSetupTruthTables()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/super/
H A DsuperGate.c349 unsigned uTruth[2], uTruths[6][2]; in Super_Compute() local
456 …pSupers[0] = pGate0; uTruths[0][0] = pGate0->uTruth[0]; uTruths[0][1] = pGate0->uTruth[1]; ptPi… in Super_Compute()
474 …pSupers[0] = pGate0; uTruths[0][0] = pGate0->uTruth[0]; uTruths[0][1] = pGate0->uTruth[1]; ptPi… in Super_Compute()
485 …pSupers[1] = pGate1; uTruths[1][0] = pGate1->uTruth[0]; uTruths[1][1] = pGate1->uTruth[1]; ptPi… in Super_Compute()
504 …pSupers[0] = pGate0; uTruths[0][0] = pGate0->uTruth[0]; uTruths[0][1] = pGate0->uTruth[1]; ptPi… in Super_Compute()
512 …pSupers[1] = pGate1; uTruths[1][0] = pGate1->uTruth[0]; uTruths[1][1] = pGate1->uTruth[1]; ptPi… in Super_Compute()
544 …pSupers[0] = pGate0; uTruths[0][0] = pGate0->uTruth[0]; uTruths[0][1] = pGate0->uTruth[1]; ptPi… in Super_Compute()
552 …pSupers[1] = pGate1; uTruths[1][0] = pGate1->uTruth[0]; uTruths[1][1] = pGate1->uTruth[1]; ptPi… in Super_Compute()
593 …pSupers[0] = pGate0; uTruths[0][0] = pGate0->uTruth[0]; uTruths[0][1] = pGate0->uTruth[1]; ptPi… in Super_Compute()
601 …pSupers[1] = pGate1; uTruths[1][0] = pGate1->uTruth[0]; uTruths[1][1] = pGate1->uTruth[1]; ptPi… in Super_Compute()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/dec/
H A DdecUtil.c104 unsigned uTruths[5] = { 0xAAAAAAAA, 0xCCCCCCCC, 0xF0F0F0F0, 0xFF00FF00, 0xFFFF0000 }; in Dec_GraphDeriveTruth() local
120 …return Dec_GraphIsComplement(pGraph)? ~uTruths[Dec_GraphVarInt(pGraph)] : uTruths[Dec_GraphVarInt(… in Dec_GraphDeriveTruth()
124 pNode->pFunc = (void *)(ABC_PTRUINT_T)uTruths[i]; in Dec_GraphDeriveTruth()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/msat/
H A DmsatSolverApi.c30 static void Msat_SolverSetupTruthTables( unsigned uTruths[][2] );
484 void Msat_SolverSetupTruthTables( unsigned uTruths[][2] ) in Msat_SolverSetupTruthTables()
491 uTruths[v][0] |= (1 << m); in Msat_SolverSetupTruthTables()
494 uTruths[v][1] = uTruths[v][0]; in Msat_SolverSetupTruthTables()
495 uTruths[5][0] = 0; in Msat_SolverSetupTruthTables()
496 uTruths[5][1] = ~((unsigned)0); in Msat_SolverSetupTruthTables()
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/kit/
H A DkitGraph.c323 unsigned uTruths[5] = { 0xAAAAAAAA, 0xCCCCCCCC, 0xF0F0F0F0, 0xFF00FF00, 0xFFFF0000 }; in Kit_GraphToTruth() local
338 …return Kit_GraphIsComplement(pGraph)? ~uTruths[Kit_GraphVarInt(pGraph)] : uTruths[Kit_GraphVarInt(… in Kit_GraphToTruth()
342 pNode->pFunc = (void *)(long)uTruths[i]; in Kit_GraphToTruth()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/hop/
H A DhopTruth.c145 static unsigned uTruths[8][8] = { // elementary truth tables in Hop_ManConvertAigToTruth() local
195 pObj->pData = (void *)uTruths[nVars-1-i]; in Hop_ManConvertAigToTruth()
207 pObj->pData = (void *)uTruths[i]; in Hop_ManConvertAigToTruth()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/
H A DkitGraph.c308 unsigned uTruths[5] = { 0xAAAAAAAA, 0xCCCCCCCC, 0xF0F0F0F0, 0xFF00FF00, 0xFFFF0000 }; in Kit_GraphToTruth() local
323 …return Kit_GraphIsComplement(pGraph)? ~uTruths[Kit_GraphVarInt(pGraph)] : uTruths[Kit_GraphVarInt(… in Kit_GraphToTruth()
327 pNode->pFunc = (void *)(long)uTruths[i]; in Kit_GraphToTruth()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/
H A DextraUtilMisc.c1283 static unsigned uTruths[8][8] = { in Extra_TruthExpand() local
1826 puTruthR[i] = uTruths[(int)Cases[uPhase]][i]; in Extra_TruthExpand()
2018 static unsigned uTruths[8][8] = { in Extra_Truths8() local
2029 … uTruths[0], uTruths[1], uTruths[2], uTruths[3], uTruths[4], uTruths[5], uTruths[6], uTruths[7] in Extra_Truths8()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/fpga/
H A DfpgaUtils.c449 void Fpga_MappingSetupTruthTables( unsigned uTruths[][2] ) in Fpga_MappingSetupTruthTables()
456 uTruths[v][0] |= (1 << m); in Fpga_MappingSetupTruthTables()
459 uTruths[v][1] = uTruths[v][0]; in Fpga_MappingSetupTruthTables()
460 uTruths[5][0] = 0; in Fpga_MappingSetupTruthTables()
461 uTruths[5][1] = FPGA_FULL; in Fpga_MappingSetupTruthTables()
H A DfpgaInt.h372 extern void Fpga_MappingSetupTruthTables( unsigned uTruths[][2] );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaBidec.c92 static unsigned uTruths[8][8] = { // elementary truth tables in Gia_ManConvertAigToTruth() local
135 Gia_ManTruthCopy( pTruth, uTruths[i], nVars ); in Gia_ManConvertAigToTruth()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/
H A DsatInter.c951 unsigned uTruths[8][8] = { in Int_ManPrepareInter() local
984 Int_ManTruthOrNot( Int_ManTruthRead(p, pClause), uTruths[VarAB], p->nWords ); in Int_ManPrepareInter()
986 Int_ManTruthOr( Int_ManTruthRead(p, pClause), uTruths[VarAB], p->nWords ); in Int_ManPrepareInter()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cut/
H A DcutMan.c30 extern void Npn_StartTruth8( uint8 uTruths[][32] );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/proof/
H A Dpr.c975 unsigned uTruths[5] = { 0xAAAAAAAA, 0xCCCCCCCC, 0xF0F0F0F0, 0xFF00FF00, 0xFFFF0000 }; in Pr_ManPrepareInter() local
1030 pClause->uTruth |= ~uTruths[ -p->pVarTypes[Var]-1 ]; in Pr_ManPrepareInter()
1032 pClause->uTruth |= uTruths[ -p->pVarTypes[Var]-1 ]; in Pr_ManPrepareInter()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/
H A DivyUtil.c188 static unsigned uTruths[8][8] = { // elementary truth tables in Ivy_ManCutTruth() local
209 memcpy( Ivy_ObjGetTruthStore(i, vTruth), uTruths[i], 8 * sizeof(unsigned) ); in Ivy_ManCutTruth()
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/
H A DdarLib.c140 unsigned uTruths[4] = { 0xAAAA, 0xCCCC, 0xF0F0, 0xFF00 }; in Dar_LibAlloc() local
157 p->pObjs[i].Num = uTruths[i]; in Dar_LibAlloc()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/
H A DdarLib.c130 unsigned uTruths[4] = { 0xAAAA, 0xCCCC, 0xF0F0, 0xFF00 }; in Dar_LibAlloc() local
147 p->pObjs[i].Num = uTruths[i]; in Dar_LibAlloc()

12