aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--README.md11
1 files changed, 8 insertions, 3 deletions
diff --git a/README.md b/README.md
index 4b15707..12e48e4 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,10 @@
-![Build Status](https://travis-ci.com/ymherklotz/verifuzz.svg?token=qfBKKGwxeWkjDsy7e16x&branch=master)
+# VeriFuzz ![Build Status](https://travis-ci.com/ymherklotz/verifuzz.svg?token=qfBKKGwxeWkjDsy7e16x&branch=master)
-# verifuzz
+Verilog Fuzzer to test the major verilog compilers by generating random, valid
+verilog.
-Verilog Fuzzer to test the major verilog compilers by generating random, valid verilog.
+It currently supports the following simulators:
+
+- [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)