From: Cesar Strauss <cestrauss@gmail.com>
Date: Sat, 1 Oct 2022 22:00:55 +0000 (-0300)
Subject: Leave shadow / die proof for last
X-Git-Url: https://git.libre-soc.org/?p=soc.git;a=commitdiff_plain;h=003791ed6230b3a45278cdcb7781526911688c9a

Leave shadow / die proof for last
---

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)