Searched refs:uOn2 (Results 1 – 2 of 2) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/util/ |
H A D | utilIsop.c | 180 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 D | utilTruth.h | 2185 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()
|