From: Clifford Wolf Date: Wed, 27 Jul 2016 13:44:11 +0000 (+0200) Subject: Removed $predict support from SatGen X-Git-Tag: yosys-0.7~156^2~2 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9540be1d45cce45d0008a4160bc4aa70ff0dfe1d;p=yosys.git Removed $predict support from SatGen --- diff --git a/kernel/satgen.h b/kernel/satgen.h index 31b7a3e5a..fdd2ce8b1 100644 --- a/kernel/satgen.h +++ b/kernel/satgen.h @@ -69,7 +69,6 @@ struct SatGen SigPool initial_state; std::map asserts_a, asserts_en; std::map assumes_a, assumes_en; - std::map predict_a, predict_en; std::map> imported_signals; std::map, bool> initstates; bool ignore_div_by_zero; @@ -1374,14 +1373,6 @@ struct SatGen return true; } - if (cell->type == "$predict") - { - std::string pf = prefix + (timestep == -1 ? "" : stringf("@%d:", timestep)); - predict_a[pf].append((*sigmap)(cell->getPort("\\A"))); - predict_en[pf].append((*sigmap)(cell->getPort("\\EN"))); - return true; - } - // Unsupported internal cell types: $pow $lut // .. and all sequential cells except $dff and $_DFF_[NP]_ return false;