gram/test/test_common.py

   1 #nmigen: UnusedElaboratable=no
   2 from nmigen import *
   3 from nmigen.hdl.ast import Past
   4
   5 from gram.common import DQSPattern, tXXDController
   6 from utils import *
   7
   8 class tXXDControllerTestCase(FHDLTestCase):
   9     def test_formal(self):
  10         def generic_test(txxd):
  11             dut = tXXDController(txxd)
  12             self.assertFormal(dut, mode="bmc", depth=4)
  13
  14         generic_test(None)
  15         generic_test(0)
  16         generic_test(1)
  17         generic_test(5)
  18         generic_test(10)