From f5380d9f6fe5b13441be394d4401683022ea72dc Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 1 Jan 2020 21:34:01 +0100 Subject: Fix to the instructions --- experiments/instructions.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'experiments/instructions.org') diff --git a/experiments/instructions.org b/experiments/instructions.org index 9bc2ea4..e125fd5 100644 --- a/experiments/instructions.org +++ b/experiments/instructions.org @@ -243,7 +243,7 @@ The result should be that the equivalence check fails and a reduced testcase sho Contrary to what is expected, the simulation runs will pass. This is because the bug occurs in the initial values that are assigned to the variables. These are set to 0 in the design, but mistakenly set to x in the synthesised design. The testbench does not check for those values and the error is therefore not found by the testbench. -To fix this manually, one can add a ~$strobe("%b", y);~ on line 22 in +To fix this manually, one can add a ~$strobe("%b", y);~ on line 22 in the yosys testbench: #+begin_src bash cd output_ms/fuzz_1/simulation_yosys -- cgit