diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-12-19 11:12:07 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-12-19 11:12:07 +0000 |
| commit | eb164dbcaa156f9ef3b6d3c73130a368773ac517 (patch) | |
| tree | aa932f019da24f3e1294741c7b52b35c03ad627a /README.md | |
| parent | 8167f904e4d10ad0d798c95e97ff56f015164bac (diff) | |
| download | verismith-eb164dbcaa156f9ef3b6d3c73130a368773ac517.tar.gz verismith-eb164dbcaa156f9ef3b6d3c73130a368773ac517.zip | |
Add synthesis tools
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -82,6 +82,9 @@ Some external packages are required to use Verismith properly: - [SymbiYosys](https://github.com/YosysHQ/SymbiYosys) - [Icarus Verilog](http://iverilog.icarus.com/) - (Optional) [Z3](https://github.com/Z3Prover/z3) +- (Optional) [Xst](https://www.xilinx.com/support/documentation/sw_manuals/xilinx11/ise_c_using_xst_for_synthesis.htm) +- (Optional) [Vivado](https://www.xilinx.com/products/design-tools/ise-design-suite.html) +- (Optional) [Quartus](https://www.intel.com/content/www/us/en/programmable/downloads/download-center.html) 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: |