From: Jean THOMAS <git0@pub.jeanthomas.me>
Date: Fri, 7 Aug 2020 16:04:29 +0000 (+0200)
Subject: gram.test.test_core_bankmachine: Ensure refresh_gnt isn't asserted if there is no... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b831f2d309e5ec378f522ee56febe6d904f86d42;p=gram.git

gram.test.test_core_bankmachine: Ensure refresh_gnt isn't asserted if there is no refresh request (fixing #7)
---

diff --git a/gram/test/test_core_bankmachine.py b/gram/test/test_core_bankmachine.py
index 36db27b..3c8b9b8 100644
--- 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)