mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 19:52:31 +00:00
Code Activity

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

Browse source
This commit is contained in:
Clifford Wolf 2014-08-07 16:42:35 +02:00
parent 2dc3333734
commit c55eb8f8a6
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
passes/sat/miter.cc
View file

@ -251,7 +251,7 @@ static void create_miter_equiv(struct Pass *that, std::vector<std::string> args,
if (flag_flatten) { if (flag_flatten) {
log_push(); 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(); 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(" also create an 'assert' cell that checks if trigger is always low.\n");
log("\n"); log("\n");
log(" -flatten\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"); log("\n");
} }
virtual void execute(std::vector<std::string> args, RTLIL::Design *design) virtual void execute(std::vector<std::string> args, RTLIL::Design *design)