diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-03-08 23:02:56 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-08 23:02:56 -0800 |
| commit | 7504d4d3452096b56f127634837de43c7be2d8dc (patch) | |
| tree | f2d3c2738dc66ec9ba025dae0d63f2846e86d5ab /frontends/verific/README | |
| parent | e9b34ad5c07935454367af1bee1248371d214fc9 (diff) | |
| parent | ee013fba54f8bca0940143f655f5b4ad3d7b7b96 (diff) | |
| download | yosys-7504d4d3452096b56f127634837de43c7be2d8dc.tar.gz yosys-7504d4d3452096b56f127634837de43c7be2d8dc.tar.bz2 yosys-7504d4d3452096b56f127634837de43c7be2d8dc.zip | |
Merge pull request #861 from YosysHQ/verific_chparam
Add -chparam option to verific command
Diffstat (limited to 'frontends/verific/README')
| -rw-r--r-- | frontends/verific/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/verific/README b/frontends/verific/README index c76cdd637..89584f2e8 100644 --- a/frontends/verific/README +++ b/frontends/verific/README @@ -21,7 +21,7 @@ Then run in the following command in this directory: sby -f example.sby -This will generate approximately one page of text outpout. The last lines +This will generate approximately one page of text output. The last lines should be something like this: SBY [example] summary: Elapsed clock time [H:MM:SS (secs)]: 0:00:00 (0) |