summaryrefslogtreecommitdiff
path: root/kernel/satgen.h
diff options
context:
space:
mode:
Diffstat (limited to 'kernel/satgen.h')
-rw-r--r--kernel/satgen.h7
1 files changed, 6 insertions, 1 deletions
diff --git a/kernel/satgen.h b/kernel/satgen.h
index b2f8b15b..5b4abfc2 100644
--- a/kernel/satgen.h
+++ b/kernel/satgen.h
@@ -39,9 +39,10 @@ struct SatGen
SigMap *sigmap;
std::string prefix;
SigPool initial_state;
+ bool ignore_div_by_zero;
SatGen(ezSAT *ez, RTLIL::Design *design, SigMap *sigmap, std::string prefix = std::string()) :
- ez(ez), design(design), sigmap(sigmap), prefix(prefix)
+ ez(ez), design(design), sigmap(sigmap), prefix(prefix), ignore_div_by_zero(false)
{
}
@@ -310,6 +311,10 @@ struct SatGen
else
ez->assume(ez->vec_eq(y, chain_buf));
}
+
+ if (ignore_div_by_zero)
+ ez->assume(ez->expression(ezSAT::OpOr, b));
+
return true;
}