diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-10-06 22:59:55 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-10-06 22:59:55 +0100 |
| commit | ebe4ed7c3eeecc3c17d2832294bdb190279939ca (patch) | |
| tree | caa3f541ea29aaa55e8ebfb6afd830c1e4a1f798 /README.md | |
| parent | 920e4ae07800e793d83df8c9dca05ce62f2943c7 (diff) | |
| download | verismith-ebe4ed7c3eeecc3c17d2832294bdb190279939ca.tar.gz verismith-ebe4ed7c3eeecc3c17d2832294bdb190279939ca.zip | |
Fix spelling in readme
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,8 +1,8 @@ -# VeriSmith [](https://travis-ci.com/ymherklotz/verismith) +# Verismith [](https://travis-ci.com/ymherklotz/verismith) Verilog Fuzzer to test the major verilog compilers by generating random, valid and deterministic Verilog. There is a -[presentation](https://yannherklotz.com/docs/presentation.pdf) about VeriSmith +[presentation](https://yannherklotz.com/docs/presentation.pdf) about Verismith and a [thesis](https://yannherklotz.com/docs/thesis.pdf) which goes over all the details of the implementation and results that were found. @@ -110,7 +110,7 @@ the actual project itself. ## Configuration -VeriSmith can be configured using a [TOML](https://github.com/toml-lang/toml) +Verismith can be configured using a [TOML](https://github.com/toml-lang/toml) file. There are four main sections in the configuration file, an example can be seen [here](/examples/config.toml). |