aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2019-08-01 16:25:14 +0200
committerYann Herklotz <git@yannherklotz.com>2019-08-01 16:25:14 +0200
commit281c3a8e677e43d9e37fed238d6b312295280e0c (patch)
tree0a0a18f8db710509dc1cb03657c76300e21362b1 /README.md
parenta59af9347e35cb5b7909d05e0d9318e974515497 (diff)
downloadverismith-281c3a8e677e43d9e37fed238d6b312295280e0c.tar.gz
verismith-281c3a8e677e43d9e37fed238d6b312295280e0c.zip
Fix wording of readme
Diffstat (limited to 'README.md')
-rw-r--r--README.md7
1 files changed, 4 insertions, 3 deletions
diff --git a/README.md b/README.md
index c1332cc..ced1424 100644
--- a/README.md
+++ b/README.md
@@ -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).