Searched refs:lsbve0 (Results 1 – 1 of 1) sorted by relevance
455 int32_t eidx, lsbve0, lsbve1; in select_path_mul() local468 lsbve0 = btor_bv_get_bit (bve[0], 0); in select_path_mul()478 else if (btor_bv_get_bit (bvmul, 0) && (!lsbve0 || !lsbve1)) in select_path_mul()480 if (!lsbve0) eidx = 0; in select_path_mul()