aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2019-06-25 22:32:21 +0100
committerYann Herklotz <git@yannherklotz.com>2019-06-29 16:12:46 +0100
commit24cf9ce5bf673615ebe36f5ab5d0ff7685dfada6 (patch)
tree87e1bde306620e6a87b6d2589618a9432c3d0a75 /README.md
parenta3cf56b7e2edef87181c534dea099a884ac99306 (diff)
downloadverismith-24cf9ce5bf673615ebe36f5ab5d0ff7685dfada6.tar.gz
verismith-24cf9ce5bf673615ebe36f5ab5d0ff7685dfada6.zip
Add back the simulation
Diffstat (limited to 'README.md')
-rw-r--r--README.md7
1 files changed, 5 insertions, 2 deletions
diff --git a/README.md b/README.md
index 2d0588e..829f3b0 100644
--- a/README.md
+++ b/README.md
@@ -3,14 +3,17 @@
Verilog Fuzzer to test the major verilog compilers by generating random, valid
verilog.
-It currently supports the following simulators:
+It currently supports the following synthesisers:
- [Yosys](http://www.clifford.at/yosys/)
-- [Icarus Verilog](http://iverilog.icarus.com)
- [Xst](https://www.xilinx.com/support/documentation/sw_manuals/xilinx11/ise_c_using_xst_for_synthesis.htm)
- [Vivado](https://www.xilinx.com/products/design-tools/ise-design-suite.html)
- [Quartus](https://www.intel.com/content/www/us/en/programmable/downloads/download-center.html)
+and the following simulator:
+
+- [Icarus Verilog](http://iverilog.icarus.com)
+
## Build the Fuzzer
The fuzzer is split into an executable (in the [app](/app) folder) and a