diff options
Diffstat (limited to 'experiments/instructions.md')
| -rw-r--r-- | experiments/instructions.md | 29 |
1 files changed, 25 insertions, 4 deletions
diff --git a/experiments/instructions.md b/experiments/instructions.md index e66b4f5..5134551 100644 --- a/experiments/instructions.md +++ b/experiments/instructions.md @@ -1,12 +1,13 @@ # Table of Contents -1. [Introduction](#org19a28a2) -2. [Finding failures in Yosys 0.8](#org7dbedb0) +1. [Introduction](#org2e88aa0) +2. [Finding failures in Yosys 0.8](#org7368fab) + 1. [Installing Yosys master](#orgd073682) -<a id="org19a28a2"></a> +<a id="org2e88aa0"></a> # Introduction @@ -15,7 +16,7 @@ The version of Verismith that is assumed to be used is Verismith 0.6.0.2, which cabal install verismith -<a id="org7dbedb0"></a> +<a id="org7368fab"></a> # Finding failures in Yosys 0.8 @@ -23,3 +24,23 @@ Yosys 0.8 was found to fail about 30% of the time, which means that it should be However, to find failures in Yosys 0.8, a newer version of Yosys has to be used for the equivalence check. For this we can use Yosys master. An alternative for this is to use a simulator with a testbench, which is also supported by Verismith using Icarus Verilog. + +<a id="orgd073682"></a> + +## Installing Yosys master + +The first step is to install Yosys master (which will in this case be installed to `/opt/yosys/master`): + + git clone https://github.com/yosyshq/yosys && cd yosys + sed -i 's/^PREFIX ?=.*/PREFIX ?= /opt/yosys/master' + make -j4 + sudo make install + +Then we want to install Yosys 0.8 (which will be installed to `/opt/yosys/0.8`): + + git clean -dfx && git reset --hard HEAD + git checkout yosys-0.8 + sed -i 's/^PREFIX ?=.*/PREFIX ?= /opt/yosys/0.8' + make -j4 + sudo make install + |