Searched refs:div_zero_result (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/yosys/yosys-yosys-0.12/kernel/ |
| H A D | satgen.cc | 761 std::vector<int> div_zero_result; in importCell() local
767 div_zero_result = ez->vec_ite(a.back(), only_first_one, all_ones); in importCell()
769 div_zero_result.insert(div_zero_result.end(), cell->getPort(ID::A).size(), ez->CONST_TRUE); in importCell()
770 … div_zero_result.insert(div_zero_result.end(), y.size() - div_zero_result.size(), ez->CONST_FALSE); in importCell()
775 div_zero_result.insert(div_zero_result.end(), a.begin(), a.begin() + copy_a_bits); in importCell()
777 …div_zero_result.insert(div_zero_result.end(), y.size() - div_zero_result.size(), div_zero_result.b… in importCell()
779 … div_zero_result.insert(div_zero_result.end(), y.size() - div_zero_result.size(), ez->CONST_FALSE); in importCell()
781 ez->assume(ez->vec_eq(yy, ez->vec_ite(ez->expression(ezSAT::OpOr, b), y_tmp, div_zero_result))); in importCell()
|