Searched refs:Gia_ManGetTwo (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcCexMin2.c | 124 Value = (1 & Gia_ManGetTwo(p, f, pObj)); in Gia_ManAnnotateUnrolling()
200 if ( (Gia_ManGetTwo(p, iFrame, pObj) >> 1) ) // in the path in Gia_ManCreateUnate()
203 else if ( (Gia_ManGetTwo(p, iFrame, pObj) >> 1) ) // in the path in Gia_ManCreateUnate()
210 pObj->Value = (Gia_ManGetTwo(p, iFrame, pObj) >> 1); in Gia_ManCreateUnate()
223 pObj->Value = (Gia_ManGetTwo(p, f, pObj) >> 1); in Gia_ManCreateUnate()
228 pObj->Value = (Gia_ManGetTwo(p, f, pObj) >> 1); in Gia_ManCreateUnate()
234 pObj->Value = (Gia_ManGetTwo(p, f, pObj) >> 1); in Gia_ManCreateUnate()
240 if ( (Gia_ManGetTwo(p, f, pObj) >> 1) ) // in the path in Gia_ManCreateUnate()
252 Value = Gia_ManGetTwo(p, f, pObj); in Gia_ManCreateUnate()
257 if ( 1 & Gia_ManGetTwo(p, f, pObj) ) // value 1 in Gia_ManCreateUnate()
[all …]
|