gram.test.test_core_bankmachine: Ensure refresh_gnt isn't asserted if there is no...

diff --git a/gram/test/test_core_bankmachine.py b/gram/test/test_core_bankmachine.py
index 36db27b0f9363f9f5328ef72b2d5bc8b14703f29..3c8b9b8d43b72b821211d14da4ba571fb1fd2e4f 100644 (file)
--- a/gram/test/test_core_bankmachine.py
+++ b/gram/test/test_core_bankmachine.py
@@ -1,8 +1,10 @@
 #nmigen: UnusedElaboratable=no
+import types, math
+
 from nmigen import *
 from nmigen.asserts import Assert, Assume
 
-from gram.core.bankmachine import _AddressSlicer
+from gram.core.bankmachine import _AddressSlicer, BankMachine
 from gram.test.utils import *
 
 class AddressSlicerBijectionSpec(Elaboratable):
@@ -33,3 +35,38 @@ class AddressSlicerTestCase(FHDLTestCase):
         dut2 = _AddressSlicer(self.addrbits, self.colbits, self.address_align)
         spec = AddressSlicerBijectionSpec(dut1, dut2)
         self.assertFormal(spec, "bmc", depth=1)
+
+class BankMachineRequestGrantSpec(Elaboratable):
+    def __init__(self, dut):
+        self.dut = dut
+
+    def elaborate(self, platform):
+        m = Module()
+        m.d.comb += Assume(~dut.request_req)
+        m.d.comb += Assert(~dut.request_gnt)
+        return m
+
+class BankMachineTestCase(FHDLTestCase):
+    settings = types.SimpleNamespace()
+    settings.cmd_buffer_depth = 1
+    settings.cmd_buffer_buffered = False
+    settings.with_auto_precharge = False
+    settings.geom = types.SimpleNamespace()
+    settings.geom.addressbits = 20
+    settings.geom.colbits = 8
+    settings.geom.rowbits = 12
+    settings.geom.bankbits = 3
+    settings.timing = types.SimpleNamespace()
+    settings.timing.tWR = 5
+    settings.timing.tCCD = 4
+    settings.timing.tRC = 6
+    settings.timing.tRAS = 7
+    settings.timing.tRP = 10
+    settings.timing.tRCD = 8
+    settings.phy = types.SimpleNamespace()
+    settings.phy.cwl = 6
+    settings.phy.nphases = 2
+
+    def test_no_request_grant(self):
+        dut = BankMachine(0, 20, 2, 1, self.settings)
+        self.assertFormal(dut, "bmc", depth=100)