diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 11:17:19 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 11:17:19 -0700 |
| commit | 63eb5cace980cd34e59065e577c04abaad239ddf (patch) | |
| tree | be065a052bda42a4654e4a1483f9fcde0beacef9 /passes/sat/cutpoint.cc | |
| parent | 776d7cea6ad42a58f47cdcb7a71a801e1ea1055f (diff) | |
| parent | c4ea6fff65d6b2e69a31649af7e10b129c6ae0f5 (diff) | |
| download | yosys-63eb5cace980cd34e59065e577c04abaad239ddf.tar.gz yosys-63eb5cace980cd34e59065e577c04abaad239ddf.tar.bz2 yosys-63eb5cace980cd34e59065e577c04abaad239ddf.zip | |
Merge branch 'master' into eddie/muxpack
Diffstat (limited to 'passes/sat/cutpoint.cc')
| -rw-r--r-- | passes/sat/cutpoint.cc | 2 |
1 files changed, 1 insertions, 1 deletions
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---| |