gram/test/test_core_multiplexer.py

   1 from nmigen import *
   2
   3 from gram.core.multiplexer import _AntiStarvation
   4 from utils import *
   5
   6 class AntiStarvationTestCase(FHDLTestCase):
   7     def test_formal(self):
   8         def generic_test(timeout):
   9             dut = _AntiStarvation(timeout)
  10             self.assertFormal(dut, mode="bmc", depth=4)
  11
  12         generic_test(0)
  13         #generic_test(1)
  14         generic_test(5)
  15         generic_test(10)