diff options
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 |