From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 13 Jul 2020 15:14:24 +0000 (+0100)
Subject: comments
X-Git-Tag: div_pipeline~57
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fa28d016c6adb981cfc8d8b525177cdc044a6c22;p=soc.git

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 e6e8b7c7..21ce002f 100644
--- 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