From 2496d10e28fb9216565aa6b6a79e268e57f49ed6 Mon Sep 17 00:00:00 2001 From: Cesar Strauss Date: Wed, 5 Oct 2022 19:11:09 -0300 Subject: [PATCH] Fix duplicate line (copy & paste error) --- src/soc/experiment/formal/proof_compalu_multi.py | 1 - 1 file changed, 1 deletion(-) diff --git a/src/soc/experiment/formal/proof_compalu_multi.py b/src/soc/experiment/formal/proof_compalu_multi.py index 07ff4002..87662340 100644 --- a/src/soc/experiment/formal/proof_compalu_multi.py +++ b/src/soc/experiment/formal/proof_compalu_multi.py @@ -115,7 +115,6 @@ class CompALUMultiTestCase(FHDLTestCase): m.d.sync += cnt_issue.eq(cnt_issue + do_issue) do_read = Signal(dut.n_src) m.d.comb += do_read.eq(dut.cu.rd.rel_o & dut.cu.rd.go_i) - m.d.sync += cnt_issue.eq(cnt_issue + do_issue) cnt_read = [] for i in range(dut.n_src): cnt = Signal(4, name="cnt_read_%d" % i) -- 2.30.2