diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-08-01 16:25:14 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-08-01 16:25:14 +0200 |
commit | 281c3a8e677e43d9e37fed238d6b312295280e0c (patch) | |
tree | 0a0a18f8db710509dc1cb03657c76300e21362b1 /README.md | |
parent | a59af9347e35cb5b7909d05e0d9318e974515497 (diff) | |
download | verismith-281c3a8e677e43d9e37fed238d6b312295280e0c.tar.gz verismith-281c3a8e677e43d9e37fed238d6b312295280e0c.zip |
Fix wording of readme
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -151,9 +151,10 @@ optimisations that are performed, or in the version of the synthesiser. ## Acknowledgement Clifford Wolf's [VlogHammer](http://www.clifford.at/yosys/vloghammer.html) is an -existing Verilog fuzzer that generates random Verilog expressions. It was the -inspiration for the general structure of this fuzzer, which extends the fuzzing -to the behavioural parts of Verilog. +existing Verilog fuzzer that generates random Verilog to test how expressions +are handled in synthesis tools and simulators. It was the inspiration for the +general structure of this fuzzer, which extends the fuzzing to the behavioural +parts of Verilog. Tom Hawkins' Verilog parser was used to write the lexer, the parser was then rewritten using [Parsec](https://hackage.haskell.org/package/parsec). |