Fix proof of bpermd module

diff --git a/src/soc/fu/logical/formal/proof_bpermd.py b/src/soc/fu/logical/formal/proof_bpermd.py
index ba93a0ef845d5884f066f8f8d2a49ec12fecca21..e987f88b7955636287ab4e9984cfddc7c8d94f7d 100644 (file)
--- 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