diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-06-25 22:32:21 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-06-29 16:12:46 +0100 |
commit | 24cf9ce5bf673615ebe36f5ab5d0ff7685dfada6 (patch) | |
tree | 87e1bde306620e6a87b6d2589618a9432c3d0a75 /README.md | |
parent | a3cf56b7e2edef87181c534dea099a884ac99306 (diff) | |
download | verismith-24cf9ce5bf673615ebe36f5ab5d0ff7685dfada6.tar.gz verismith-24cf9ce5bf673615ebe36f5ab5d0ff7685dfada6.zip |
Add back the simulation
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -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 |