comments

diff --git a/src/soc/fu/shift_rot/formal/proof_main_stage.py b/src/soc/fu/shift_rot/formal/proof_main_stage.py
index e6e8b7c7ca0d1952a83025abd3495ab26e3fae5a..21ce002fa415a02a9024ecd5ffe9ba3bdd73f3f2 100644 (file)
--- a/src/soc/fu/shift_rot/formal/proof_main_stage.py
+++ b/src/soc/fu/shift_rot/formal/proof_main_stage.py
@@ -53,6 +53,7 @@ class Driver(Elaboratable):
         comb += carry_in.eq(AnyConst(1))
         comb += carry_in32.eq(AnyConst(1))
 
+        # copy operation
         comb += dut.i.ctx.op.eq(rec)
 
         # Assert that op gets copied from the input to output