From fa28d016c6adb981cfc8d8b525177cdc044a6c22 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Mon, 13 Jul 2020 16:14:24 +0100 Subject: [PATCH 1/1] comments --- src/soc/fu/shift_rot/formal/proof_main_stage.py | 1 + 1 file changed, 1 insertion(+) 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 -- 2.30.2