diff options
author | Ruben Undheim <ruben.undheim@gmail.com> | 2018-10-15 23:51:39 +0200 |
---|---|---|
committer | Ruben Undheim <ruben.undheim@gmail.com> | 2018-10-15 23:51:39 +0200 |
commit | 7b99a3646c44759b82d7df0361d59c72776b8aed (patch) | |
tree | bc60a2625efccaaab3fd5e548e0701179be84fd9 /passes | |
parent | 5033b51947a6ef02cb785b5622e993335efa750a (diff) |
New upstream version 0.7+20181007git9850de4
Diffstat (limited to 'passes')
-rw-r--r-- | passes/cmds/setundef.cc | 8 | ||||
-rw-r--r-- | passes/sat/sim.cc | 2 |
2 files changed, 8 insertions, 2 deletions
diff --git a/passes/cmds/setundef.cc b/passes/cmds/setundef.cc index 62d940ce..a1dfa9b5 100644 --- a/passes/cmds/setundef.cc +++ b/passes/cmds/setundef.cc @@ -162,7 +162,6 @@ struct SetundefPass : public Pass { continue; } if (args[argidx] == "-expose") { - got_value = true; expose_mode = true; continue; } @@ -212,6 +211,13 @@ struct SetundefPass : public Pass { } extra_args(args, argidx, design); + if (!got_value && expose_mode) { + log("Using default as -undef with -expose.\n"); + got_value = true; + worker.next_bit_mode = MODE_UNDEF; + worker.next_bit_state = 0; + } + if (expose_mode && !undriven_mode) log_cmd_error("Option -expose must be used with option -undriven.\n"); if (!got_value) diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index fadffcdb..53e248ad 100644 --- a/passes/sat/sim.cc +++ b/passes/sat/sim.cc @@ -778,7 +778,7 @@ struct SimPass : public Pass { log(" number of cycles to simulate (default: 20)\n"); log("\n"); log(" -a\n"); - log(" include all nets in VCD output, nut just those with public names\n"); + log(" include all nets in VCD output, not just those with public names\n"); log("\n"); log(" -w\n"); log(" writeback mode: use final simulation state as new init state\n"); |