diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-08-29 15:44:33 +1000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-08-29 15:44:33 +1000 |
commit | cccb665ebac6e916c4f961eacbe11a9af7d7ceb3 (patch) | |
tree | f00baaec9dcb747c27375af366ad9aec9d2dbe16 /README.md | |
parent | 74a14ef30359e653259bf7139fe806548edefd14 (diff) | |
download | verismith-cccb665ebac6e916c4f961eacbe11a9af7d7ceb3.tar.gz verismith-cccb665ebac6e916c4f961eacbe11a9af7d7ceb3.zip |
Change name from VeriFuzz to VeriSmith
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,8 +1,8 @@ -# VeriFuzz [![Build Status](https://travis-ci.com/ymherklotz/verifuzz.svg?token=qfBKKGwxeWkjDsy7e16x&branch=master)](https://travis-ci.com/ymherklotz/verifuzz) +# VeriSmith [![Build Status](https://travis-ci.com/ymherklotz/verismith.svg?token=qfBKKGwxeWkjDsy7e16x&branch=master)](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 VeriFuzz +[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 -VeriFuzz 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). |