Home
last modified time | relevance | path

Searched refs:uTruthRes (Results 1 – 12 of 12) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mapper/
H A DmapperCanon.c73 uTruthRes[1] = uTruthRes[0]; in Map_CanonComputeSlow()
82 …if ( uTruthRes[1] > uTruthPerm[1] || (uTruthRes[1] == uTruthPerm[1] && uTruthRes[0] > uTruthPerm[0… in Map_CanonComputeSlow()
89 else if ( uTruthRes[1] == uTruthPerm[1] && uTruthRes[0] == uTruthPerm[0] ) in Map_CanonComputeSlow()
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()
154 uTruthRes[0] = uTruthRes[1]; in Map_CanonComputePhase6()
190 uTruthRes[1] = uTruthRes[0]; in Map_CanonComputeFast()
202 uTruthRes[1] = uTruthRes[0]; in Map_CanonComputeFast()
211 uTruthRes[1] = uTruthRes[0]; in Map_CanonComputeFast()
237 uTruthRes[1] = uTruthRes[0]; in Map_CanonComputeFast()
[all …]
H A DmapperSuper.c31 …d Map_LibraryComputeTruth( Map_SuperLib_t * pLib, char * pFormula, unsigned uTruthRes[] );
32 …Truth_rec( Map_SuperLib_t * pLib, char * pFormula, unsigned uTruthsIn[][2], unsigned uTruthRes[] );
323 unsigned uTruthRes[2]; in Map_LibraryTruthVerify() local
324 Map_LibraryComputeTruth( pLib, pGate->pFormula, uTruthRes ); in Map_LibraryTruthVerify()
325 if ( uTruthRes[0] != pGate->uTruth[0] || uTruthRes[1] != pGate->uTruth[1] ) in Map_LibraryTruthVerify()
344 void Map_LibraryComputeTruth( Map_SuperLib_t * pLib, char * pFormula, unsigned uTruthRes[] ) in Map_LibraryComputeTruth() argument
348 Map_LibraryComputeTruth_rec( pLib, Buffer, pLib->uTruths, uTruthRes ); in Map_LibraryComputeTruth()
364 …eTruth_rec( Map_SuperLib_t * pLib, char * pFormula, unsigned uTruthsIn[][2], unsigned uTruthRes[] ) in Map_LibraryComputeTruth_rec() argument
377 uTruthRes[0] = uTruthsIn[pGateName[0] - 'a'][0]; in Map_LibraryComputeTruth_rec()
378 uTruthRes[1] = uTruthsIn[pGateName[0] - 'a'][1]; in Map_LibraryComputeTruth_rec()
[all …]
H A DmapperTree.c938 …hase6( unsigned uTruths[][2], int nVars, unsigned uTruth[], unsigned uPhase, unsigned uTruthRes[] ) in Map_CalculatePhase6() argument
944 uTruthRes[0] = uTruth[0]; in Map_CalculatePhase6()
945 uTruthRes[1] = uTruth[1]; in Map_CalculatePhase6()
954 …uTruthRes[0] = (((uTruthRes[0] & ~uTruths[v][0]) << Shift) | ((uTruthRes[0] & uTruths[v][0]) >> Sh… in Map_CalculatePhase6()
955 …uTruthRes[1] = (((uTruthRes[1] & ~uTruths[v][1]) << Shift) | ((uTruthRes[1] & uTruths[v][1]) >> Sh… in Map_CalculatePhase6()
959 uTemp = uTruthRes[0]; in Map_CalculatePhase6()
960 uTruthRes[0] = uTruthRes[1]; in Map_CalculatePhase6()
961 uTruthRes[1] = uTemp; in Map_CalculatePhase6()
H A Dmapper.h163 …, int nVarsMax, int nVarsReal, unsigned uTruth[], unsigned char * puPhases, unsigned uTruthRes[] );
164 …, int nVarsMax, int nVarsReal, unsigned uTruth[], unsigned char * puPhases, unsigned uTruthRes[] );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcAttach.c238 void Abc_AttachComputeTruth( char * pSop, unsigned uTruthsIn[][2], unsigned * uTruthRes ) in Abc_AttachComputeTruth() argument
253 uTruthRes[0] = 0; in Abc_AttachComputeTruth()
254 uTruthRes[1] = 0; in Abc_AttachComputeTruth()
270 uTruthRes[0] |= uSignCube[0]; in Abc_AttachComputeTruth()
273 uTruthRes[0] = ~uTruthRes[0]; in Abc_AttachComputeTruth()
275 uTruthRes[0] &= ATTACH_MASK(1<<nInputs); in Abc_AttachComputeTruth()
299 uTruthRes[0] |= uSignCube[0]; in Abc_AttachComputeTruth()
300 uTruthRes[1] |= uSignCube[1]; in Abc_AttachComputeTruth()
306 uTruthRes[0] = ~uTruthRes[0]; in Abc_AttachComputeTruth()
307 uTruthRes[1] = ~uTruthRes[1]; in Abc_AttachComputeTruth()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/
H A DextraUtilMisc.c415 uTruthRes = uTruth; in Extra_TruthPolarize()
947 unsigned uTruthRes; in Extra_TruthPerm4One() local
953 uTruthRes = 0; in Extra_TruthPerm4One()
962 return uTruthRes; in Extra_TruthPerm4One()
1049 unsigned uTruthRes; in Extra_TruthPerm5One() local
1055 uTruthRes = 0; in Extra_TruthPerm5One()
1064 return uTruthRes; in Extra_TruthPerm5One()
1218 uTruthRes[0] = uTruth[0]; in Extra_TruthPerm6One()
1219 uTruthRes[1] = uTruth[1]; in Extra_TruthPerm6One()
1236 uTruthRes[0] = 0; in Extra_TruthPerm6One()
[all …]
H A Dextra.h202 extern void Extra_TruthPerm6One( unsigned * uTruth, int Phase, unsigned * uTruthRes );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mio/
H A DmioUtils.c856 } uTruthRes; in Mio_DeriveTruthTable6() local
859 return uTruthRes.w; in Mio_DeriveTruthTable6()
884 uTruthRes[0] = ~uTruthRes[0];
885 uTruthRes[1] = ~uTruthRes[1];
892 uTruthRes[0] = MIO_FULL;
893 uTruthRes[1] = MIO_FULL;
945 uTruthRes[0] = uRes & 0xFFFFFFFF; in Mio_DeriveTruthTable()
946 uTruthRes[1] = uRes >> 32; in Mio_DeriveTruthTable()
995 uTruthRes[0] = 0; in Mio_DeriveTruthTable2()
996 uTruthRes[1] = 0; in Mio_DeriveTruthTable2()
[all …]
H A Dmio.h203 …able( Mio_Gate_t * pGate, unsigned uTruthsIn[][2], int nSigns, int nInputs, unsigned uTruthRes[] );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/rsb/
H A DrsbDec6.c697 unsigned uTruthRes; in Rsb_ManPerformResub6() local
702 uTruthRes = Rsb_DecPerformInt( p, nVarsAll, &uTruth, pGs, nGs, nGs, 0 ); in Rsb_ManPerformResub6()
703 if ( uTruthRes == 0 ) in Rsb_ManPerformResub6()
707 Rsb_DecPrintFunc( p, uTruthRes, &uTruth, pGs, nGs, nVarsAll ); in Rsb_ManPerformResub6()
712 *puTruth0 = Abc_Tt6Stretch( uTruthRes, nVars ); in Rsb_ManPerformResub6()
713 *puTruth1 = Abc_Tt6Stretch( uTruthRes >> (1 << nVars), nVars ); in Rsb_ManPerformResub6()
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/
H A DdarPrec.c279 unsigned uTruthRes, uCof0, uCof1; in Dar_TruthPolarize() local
283 uTruthRes = uTruth; in Dar_TruthPolarize()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/
H A DdarPrec.c264 unsigned uTruthRes, uCof0, uCof1; in Dar_TruthPolarize() local
268 uTruthRes = uTruth; in Dar_TruthPolarize()