From 50451abccd641f520863944096dd1239519d5b1c Mon Sep 17 00:00:00 2001 From: Jean THOMAS Date: Wed, 8 Jul 2020 15:35:18 +0200 Subject: [PATCH] Add test case for AntiStarvation --- gram/test/test_core_multiplexer.py | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 gram/test/test_core_multiplexer.py 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) -- 2.30.2