From ddb8f1d195e1ebb3c814bd154b5aaccdede82ca7 Mon Sep 17 00:00:00 2001 From: Michael Nolan Date: Sun, 24 May 2020 11:17:12 -0400 Subject: [PATCH] Fix proof of bpermd module --- src/soc/fu/logical/formal/proof_bpermd.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/soc/fu/logical/formal/proof_bpermd.py b/src/soc/fu/logical/formal/proof_bpermd.py index ba93a0ef..e987f88b 100644 --- a/src/soc/fu/logical/formal/proof_bpermd.py +++ b/src/soc/fu/logical/formal/proof_bpermd.py @@ -95,7 +95,7 @@ class Driver(Elaboratable): # cycle through from 0-63 on the index *whistle nonchalantly* for j in range(64): with m.If(index == j): - comb += Assert(ra[i] == rb[j]) + comb += Assert(ra[i] == rb[63-j]) return m -- 2.30.2