Home
last modified time | relevance | path

Searched refs:vec_le_signed (Results 1 – 5 of 5) sorted by relevance

/dports/cad/yosys/yosys-yosys-0.12/libs/ezsat/
H A Ddemo_cmp.cc80 le_signed = sat.vec_le_signed(va, vb); in test_cmp()
H A Dtestbench.cc173 CHECK(a <= b-c, sat.solve(sat.vec_le_signed(av, sat.vec_sub(bv, cv)))); in test_signed()
H A Dezsat.h255 int vec_le_signed(const std::vector<int> &vec1, const std::vector<int> &vec2);
H A Dezsat.cc942 int ezSAT::vec_le_signed(const std::vector<int> &vec1, const std::vector<int> &vec2) in vec_le_signed() function in ezSAT
/dports/cad/yosys/yosys-yosys-0.12/kernel/
H A Dsatgen.cc454 ez->SET(is_signed ? ez->vec_le_signed(a, b) : ez->vec_le_unsigned(a, b), yy.at(0)); in importCell()