From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 7 Aug 2014 14:42:35 +0000 (+0200)
Subject: Use "-keepdc" in "miter -equiv -flatten"
X-Git-Tag: yosys-0.4~295
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c55eb8f8a6c83514c5d46c6992c6c6fa1069a889;p=yosys.git

Use "-keepdc" in "miter -equiv -flatten"
---

diff --git a/passes/sat/miter.cc b/passes/sat/miter.cc
index e51c92f9f..b3adefb92 100644
--- a/passes/sat/miter.cc
+++ b/passes/sat/miter.cc
@@ -251,7 +251,7 @@ static void create_miter_equiv(struct Pass *that, std::vector<std::string> args,
 
 	if (flag_flatten) {
 		log_push();
-		Pass::call_on_module(design, miter_module, "flatten; opt_const -undriven;;");
+		Pass::call_on_module(design, miter_module, "flatten; opt_const -keepdc -undriven;;");
 		log_pop();
 	}
 }
@@ -285,7 +285,7 @@ struct MiterPass : public Pass {
 		log("        also create an 'assert' cell that checks if trigger is always low.\n");
 		log("\n");
 		log("    -flatten\n");
-		log("        call 'flatten; opt_const -undriven;;' on the miter circuit.\n");
+		log("        call 'flatten; opt_const -keepdc -undriven;;' on the miter circuit.\n");
 		log("\n");
 	}
 	virtual void execute(std::vector<std::string> args, RTLIL::Design *design)