From 003791ed6230b3a45278cdcb7781526911688c9a Mon Sep 17 00:00:00 2001 From: Cesar Strauss Date: Sat, 1 Oct 2022 19:00:55 -0300 Subject: [PATCH] Leave shadow / die proof for last --- src/soc/experiment/formal/proof_compalu_multi.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/soc/experiment/formal/proof_compalu_multi.py b/src/soc/experiment/formal/proof_compalu_multi.py index fd3a50f0..f8d6fb0f 100644 --- a/src/soc/experiment/formal/proof_compalu_multi.py +++ b/src/soc/experiment/formal/proof_compalu_multi.py @@ -101,6 +101,8 @@ class CompALUMultiTestCase(FHDLTestCase): # Instantiate "random" ALU alu = ALU() m.submodules.dut = dut = MultiCompUnit(regspec, alu, CompALUOpSubset) + # TODO Test shadow / die + m.d.comb += [dut.shadown_i.eq(1), dut.go_die_i.eq(0)] # Transaction counters do_issue = Signal() m.d.comb += do_issue.eq(dut.issue_i & ~dut.busy_o) -- 2.30.2