diff options
| author | acw1251 <acwright@mit.edu> | 2019-06-19 15:27:04 -0400 |
|---|---|---|
| committer | acw1251 <acwright@mit.edu> | 2019-06-19 15:27:04 -0400 |
| commit | 0d888ee7edada1349b76360f85124a81d0766cd2 (patch) | |
| tree | a70ee448e71c5c6bdbfdfdbfe427bd4cd5b01011 /passes/sat | |
| parent | 96ade549932ca48d0e1d3b99389129cdc37524a0 (diff) | |
| download | yosys-0d888ee7edada1349b76360f85124a81d0766cd2.tar.gz yosys-0d888ee7edada1349b76360f85124a81d0766cd2.tar.bz2 yosys-0d888ee7edada1349b76360f85124a81d0766cd2.zip | |
Fixed the help summary line for a few commands
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/assertpmux.cc | 6 | ||||
| -rw-r--r-- | passes/sat/cutpoint.cc | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/passes/sat/assertpmux.cc b/passes/sat/assertpmux.cc index 509cb0ba9..3b432c461 100644 --- a/passes/sat/assertpmux.cc +++ b/passes/sat/assertpmux.cc @@ -180,7 +180,7 @@ struct AssertpmuxWorker }; struct AssertpmuxPass : public Pass { - AssertpmuxPass() : Pass("assertpmux", "convert internal signals to module ports") { } + AssertpmuxPass() : Pass("assertpmux", "adds asserts for parallel muxes") { } void help() YS_OVERRIDE { // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---| @@ -195,8 +195,8 @@ struct AssertpmuxPass : public Pass { log("\n"); log(" -always\n"); log(" usually the $pmux condition is only checked when the $pmux output\n"); - log(" is used be the mux tree it drives. this option will deactivate this\n"); - log(" additional constrained and check the $pmux condition always.\n"); + log(" is used by the mux tree it drives. this option will deactivate this\n"); + log(" additional constraint and check the $pmux condition always.\n"); log("\n"); } void execute(std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE diff --git a/passes/sat/cutpoint.cc b/passes/sat/cutpoint.cc index 048aec7f3..b4549bc39 100644 --- a/passes/sat/cutpoint.cc +++ b/passes/sat/cutpoint.cc @@ -24,7 +24,7 @@ USING_YOSYS_NAMESPACE PRIVATE_NAMESPACE_BEGIN struct CutpointPass : public Pass { - CutpointPass() : Pass("cutpoint", "add hi/lo cover cells for each wire bit") { } + CutpointPass() : Pass("cutpoint", "adds formal cut points to the design") { } void help() YS_OVERRIDE { // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---| |