| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcGen.c | 63 word * pSims0 = Gia_ManMoObj( p, Gia_ObjFaninId0(pObj, iObj) ); in Gia_ManMoSimAnd() local
69 pSims[w] = ~(pSims0[w] | pSims1[w]); in Gia_ManMoSimAnd()
72 pSims[w] = ~pSims0[w] & pSims1[w]; in Gia_ManMoSimAnd()
78 pSims[w] = pSims0[w] & ~pSims1[w]; in Gia_ManMoSimAnd()
81 pSims[w] = pSims0[w] & pSims1[w]; in Gia_ManMoSimAnd()
89 word * pSims0 = Gia_ManMoObj( p, Gia_ObjFaninId0(pObj, iObj) ); in Gia_ManMoSetCo() local
93 pSims[w] = ~pSims0[w]; in Gia_ManMoSetCo()
98 pSims[w] = pSims0[w]; in Gia_ManMoSetCo()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraSim.c | 112 unsigned * pSims0, * pSims1; in Fra_SmlNodesAreEqual() local
114 pSims0 = Fra_ObjSim(p->pSml, pObj0->Id); in Fra_SmlNodesAreEqual()
117 if ( pSims0[i] != pSims1[i] ) in Fra_SmlNodesAreEqual()
487 unsigned * pSims, * pSims0, * pSims1; in Fra_SmlNodeSimulate() local
552 unsigned * pSims0, * pSims1; in Fra_SmlNodesCompareInFrame() local
563 if ( pSims0[i] != pSims1[i] ) in Fra_SmlNodesCompareInFrame()
581 unsigned * pSims, * pSims0; in Fra_SmlNodeCopyFanin() local
596 pSims[i] = ~pSims0[i]; in Fra_SmlNodeCopyFanin()
599 pSims[i] = pSims0[i]; in Fra_SmlNodeCopyFanin()
615 unsigned * pSims0, * pSims1; in Fra_SmlNodeTransferNext() local
[all …]
|
| H A D | fraHot.c | 73 unsigned * pSims0, * pSims1; in Fra_OneHotNodesAreEqual() local
75 pSims0 = Fra_ObjSim(pSeq, pObj0->Id); in Fra_OneHotNodesAreEqual()
78 if ( pSims0[i] != pSims1[i] ) in Fra_OneHotNodesAreEqual()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswSim.c | 126 unsigned * pSims0, * pSims1; in Ssw_SmlObjsAreEqualWord() local
128 pSims0 = Ssw_ObjSim(p, pObj0->Id); in Ssw_SmlObjsAreEqualWord()
131 if ( pSims0[i] != pSims1[i] ) in Ssw_SmlObjsAreEqualWord()
774 unsigned * pSims0, * pSims1; in Ssw_SmlNodesCompareInFrame() local
805 unsigned * pSims, * pSims0; in Ssw_SmlNodeCopyFanin() local
820 pSims[i] = ~pSims0[i]; in Ssw_SmlNodeCopyFanin()
823 pSims[i] = pSims0[i]; in Ssw_SmlNodeCopyFanin()
839 unsigned * pSims0, * pSims1; in Ssw_SmlNodeTransferNext() local
852 pSims1[i] = pSims0[i]; in Ssw_SmlNodeTransferNext()
868 unsigned * pSims0, * pSims1; in Ssw_SmlNodeTransferFirst() local
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigStrSim.c | 91 unsigned * pSims0 = (unsigned *)pObj0->pData; in Saig_StrSimIsEqual() local
95 if ( pSims0[i] != pSims1[i] ) in Saig_StrSimIsEqual()
214 pSims[i] = ~(pSims0[i] | pSims1[i]); in Saig_StrSimulateNode()
216 pSims[i] = (~pSims0[i] & pSims1[i]); in Saig_StrSimulateNode()
218 pSims[i] = (pSims0[i] & ~pSims1[i]); in Saig_StrSimulateNode()
220 pSims[i] = (pSims0[i] & pSims1[i]); in Saig_StrSimulateNode()
239 pSims[i] = ~pSims0[i]; in Saig_StrSimSaveOutput()
241 pSims[i] = pSims0[i]; in Saig_StrSimSaveOutput()
257 unsigned * pSims0 = (unsigned *)pObj0->pData; in Saig_StrSimTransfer() local
261 pSims1[i] = pSims0[i]; in Saig_StrSimTransfer()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/ |
| H A D | sbdSim.c | 67 word * pSims0 = Sbd_ObjSims(p, Gia_ObjFaninId0(pObj, i)); in Sbd_GiaSimRoundBack2() local
72 pSims0[w] = pSims[w] | Rand; in Sbd_GiaSimRoundBack2()
75 if ( Gia_ObjFaninC0(pObj) ) Abc_TtNot( pSims0, nWords ); in Sbd_GiaSimRoundBack2()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyFraig.c | 812 Ivy_FraigSim_t * pSims0, * pSims1; in Ivy_NodeCompareSims() local
814 pSims0 = Ivy_ObjSim(pObj0); in Ivy_NodeCompareSims()
817 if ( pSims0->pData[i] != pSims1->pData[i] ) in Ivy_NodeCompareSims()
890 Ivy_FraigSim_t * pSims, * pSims0, * pSims1; in Ivy_NodeSimulate() local
895 pSims0 = Ivy_ObjSim(Ivy_ObjFanin0(pObj)); in Ivy_NodeSimulate()
906 pSims->pData[i] = (pSims0->pData[i] | pSims1->pData[i]); in Ivy_NodeSimulate()
909 pSims->pData[i] = ~(pSims0->pData[i] | pSims1->pData[i]); in Ivy_NodeSimulate()
936 pSims->pData[i] = (pSims0->pData[i] & pSims1->pData[i]); in Ivy_NodeSimulate()
1684 Ivy_FraigSim_t * pSims0, * pSims1; in Ivy_FraigAddToPatScores() local
1688 pSims0 = Ivy_ObjSim(pClass); in Ivy_FraigAddToPatScores()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaSimBase.c | 96 word * pSims0 = pSims + nWords*Gia_ObjFaninId0(pObj, i); in Gia_ManSimPatSimAnd() local
101 pSims2[w] = (pSims0[w] ^ Diff0) ^ (pSims1[w] ^ Diff1); in Gia_ManSimPatSimAnd()
104 pSims2[w] = (pSims0[w] ^ Diff0) & (pSims1[w] ^ Diff1); in Gia_ManSimPatSimAnd()
111 word * pSims0 = pSims + nWords*Gia_ObjFaninId0(pObj, i); in Gia_ManSimPatSimPo() local
114 pSims2[w] = (pSims0[w] ^ Diff0); in Gia_ManSimPatSimPo()
584 word * pSims0 = Vec_WrdEntryP( vSims0, nWords*Gia_ObjFaninId0(pObj, i) ); in Gia_SimRsbSimAndCareSet() local
589 pSims2[w] = (pSims0[w] ^ Diff0) ^ (pSims1[w] ^ Diff1); in Gia_SimRsbSimAndCareSet()
592 pSims2[w] = (pSims0[w] ^ Diff0) & (pSims1[w] ^ Diff1); in Gia_SimRsbSimAndCareSet()
|