diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-12-19 11:08:35 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-12-19 11:08:35 +0000 |
commit | 18a21be40f0870b55d47f29a7d4b9a82f83bfa82 (patch) | |
tree | d4df23328191ec5ee02fdbeb79b4eca2e3bcef70 /README.md | |
parent | cfa0954106632b3fbadd89786b7480b2bd4e0ab9 (diff) | |
download | verismith-18a21be40f0870b55d47f29a7d4b9a82f83bfa82.tar.gz verismith-18a21be40f0870b55d47f29a7d4b9a82f83bfa82.zip |
Add external dependencies to README
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -43,8 +43,6 @@ The fuzzer generates combinational and behavioural Verilog to test the various t ### Vivado - - | Type | Issue | Confirmed | Fixed | |---------------|-------------------------------------------------------------------------------------------------------------------------------------|-----------|-------| | Crash | [Forum 981787](https://forums.xilinx.com/t5/Synthesis/Vivado-2019-1-Verilog-If-statement-nesting-crash/td-p/981787) | ✓ | ✗ | @@ -78,6 +76,13 @@ Instead, stack could be used and the `stack.yaml` file could contain the overrid ### Build from hackage +Some external packages are required to use Verismith properly: + +- Yosys +- SymbiYosys +- Icarus Verilog +- (Optional) Z3 + A stable version of Verismith is available on [hackage](https://hackage.haskell.org/package/verismith) and can be installed using cabal directly without having to build the project from the repository: ``` shell |