From 18a21be40f0870b55d47f29a7d4b9a82f83bfa82 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 19 Dec 2019 11:08:35 +0000 Subject: Add external dependencies to README --- README.md | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index 2dc8fb6..20f97fd 100644 --- a/README.md +++ b/README.md @@ -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 -- cgit