From 3e717de10a7065cee550abc45e2717fec2244573 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 26 Dec 2019 03:16:06 +0100 Subject: Add some instructions --- experiments/instructions.org | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 experiments/instructions.org diff --git a/experiments/instructions.org b/experiments/instructions.org new file mode 100644 index 0000000..29bec30 --- /dev/null +++ b/experiments/instructions.org @@ -0,0 +1,15 @@ +#+TITLE: Rerun Instructions + +** Introduction + +The version of Verismith that is assumed to be used is Verismith 0.6.0.2, which is also available on [hackage](https://hackage.haskell.org/package/verismith-0.6.0.2) using: + +```shell +cabal install verismith +``` + +** Finding failures in Yosys 0.8 + +Yosys 0.8 was found to fail about 30% of the time, which means that it should be quite simple to find errors in it. However, different versions of Yosys can be tested this way as well and should also result in failures, such as Yosys 0.9 or Yosys commit hashes 3333e00 or 70d0f38. + +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. -- cgit