From: Samuel A. Falvo II <kc5tja@arrl.net>
Date: Tue, 4 Aug 2020 02:54:16 +0000 (-0700)
Subject: Remove XXX; this seems done otherwise.
X-Git-Tag: semi_working_ecp5~460
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fe16c60f1ed4667a5c1e63da983ac94109976817;p=soc.git

Remove XXX; this seems done otherwise.
---

diff --git a/src/soc/fu/trap/formal/proof_main_stage.py b/src/soc/fu/trap/formal/proof_main_stage.py
index 03311cf2..85d1abd9 100644
--- a/src/soc/fu/trap/formal/proof_main_stage.py
+++ b/src/soc/fu/trap/formal/proof_main_stage.py
@@ -185,13 +185,13 @@ class Driver(Elaboratable):
                         field(exp_msr, 60, 62).eq(field(rs, 60, 62)),
                     ]
                 with m.Else():
+                    # L=1 only checks 48 and 62
                     comb += [
                         field(exp_msr, 48).eq(field(rs, 48)),
                         field(exp_msr, 62).eq(field(rs, 62)),
                     ]
 
                 comb += [
-                    # L=1 only checks 48 and 62
                     Assert(msr_o.data == exp_msr),
                     Assert(msr_o.ok),
                 ]
@@ -224,7 +224,7 @@ class Driver(Elaboratable):
                     ]
 
                     comb += [
-                        # XXX Ambiguity in specification on page 978 of V3.0B:
+                        # Ambiguity in specification on page 978 of V3.0B:
                         #   MSR[4:28] <- RS[4 6:28].
                         #
                         # I've decided to follow the prose in the programmer