From: Jean THOMAS <git0@pub.jeanthomas.me>
Date: Wed, 8 Jul 2020 13:35:18 +0000 (+0200)
Subject: Add test case for AntiStarvation
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=50451abccd641f520863944096dd1239519d5b1c;p=gram.git

Add test case for AntiStarvation
---

diff --git a/gram/test/test_core_multiplexer.py b/gram/test/test_core_multiplexer.py
new file mode 100644
index 0000000..b7d2a69
--- /dev/null
+++ b/gram/test/test_core_multiplexer.py
@@ -0,0 +1,15 @@
+from nmigen import *
+
+from gram.core.multiplexer import _AntiStarvation
+from utils import *
+
+class AntiStarvationTestCase(FHDLTestCase):
+    def test_formal(self):
+        def generic_test(timeout):
+            dut = _AntiStarvation(timeout)
+            self.assertFormal(dut, mode="bmc", depth=4)
+
+        generic_test(0)
+        generic_test(1)
+        generic_test(5)
+        generic_test(10)