Home
last modified time | relevance | path

Searched refs:uOn2 (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/util/
H A DutilIsop.c180 uOn2[0] = pOn[0] & ~pOnDc[2]; in Abc_Isop8Cover()
181 uOn2[1] = pOn[1] & ~pOnDc[3]; in Abc_Isop8Cover()
185 uOn2[0] = pOn[2] & ~pOnDc[0]; in Abc_Isop8Cover()
186 uOn2[1] = pOn[3] & ~pOnDc[1]; in Abc_Isop8Cover()
210 uOn2[c] = pOn[c] & ~pOnDc[c+nWords]; in Abc_Isop9Cover()
215 uOn2[c] = pOn[c+nWords] & ~pOnDc[c]; in Abc_Isop9Cover()
238 uOn2[c] = pOn[c] & ~pOnDc[c+nWords]; in Abc_Isop10Cover()
243 uOn2[c] = pOn[c+nWords] & ~pOnDc[c]; in Abc_Isop10Cover()
266 uOn2[c] = pOn[c] & ~pOnDc[c+nWords]; in Abc_Isop11Cover()
271 uOn2[c] = pOn[c+nWords] & ~pOnDc[c]; in Abc_Isop11Cover()
[all …]
H A DutilTruth.h2185 word uOn0[2], uOn1[2], uOn2[2], uOnDc2[2], uRes0[2], uRes1[2], uRes2[2]; in Abc_Tt8Isop() local
2197 uOn2[0] = (uOn[0] & ~uRes0[0]) | (uOn[2] & ~uRes1[0]); in Abc_Tt8Isop()
2198 uOn2[1] = (uOn[1] & ~uRes0[1]) | (uOn[3] & ~uRes1[1]); in Abc_Tt8Isop()
2199 nCubes += Abc_Tt7Isop( uOn2, uOnDc2, 7, uRes2 ); in Abc_Tt8Isop()
2331 word uOn0[2], uOn1[2], uOn2[2], uOnDc2[2], uRes0[2], uRes1[2], uRes2[2]; in Abc_Tt8IsopCover() local
2347 uOn2[0] = (uOn[0] & ~uRes0[0]) | (uOn[2] & ~uRes1[0]); in Abc_Tt8IsopCover()
2348 uOn2[1] = (uOn[1] & ~uRes0[1]) | (uOn[3] & ~uRes1[1]); in Abc_Tt8IsopCover()
2349 Abc_Tt7IsopCover( uOn2, uOnDc2, 7, uRes2, pCover, pnCubes ); in Abc_Tt8IsopCover()