src/soc/config/test/test_pi2ls.py

   1 from nmigen import Signal, Module, Record
   2 from nmigen.back.pysim import Simulator, Delay
   3 from nmigen.compat.sim import run_simulation, Settle
   4 from nmutil.formaltest import FHDLTestCase
   5 from nmigen.cli import rtlil
   6 import unittest
   7 from soc.config.test.test_loadstore import TestMemPspec
   8 from soc.config.loadstore import ConfigMemoryPortInterface
   9
  10
  11 def wait_busy(port, no=False, debug=None):
  12     cnt = 0
  13     while True:
  14         busy = yield port.busy_o
  15         print("busy", no, busy, cnt, debug)
  16         if bool(busy) == no:
  17             break
  18         yield
  19         cnt += 1
  20
  21
  22 def wait_addr(port,debug=None):
  23     cnt = 0
  24     while True:
  25         addr_ok = yield port.addr_ok_o
  26         print("addrok", addr_ok,cnt,debug)
  27         if addr_ok:
  28             break
  29         yield
  30         cnt += 1
  31
  32
  33 def wait_ldok(port):
  34     cnt = 0
  35     while True:
  36         ldok = yield port.ld.ok
  37         exc_happened = yield port.exc_o.happened
  38         print("ldok", ldok, "exception", exc_happened, "count", cnt)
  39         cnt += 1
  40         if ldok or exc_happened:
  41             break
  42         yield
  43
  44
  45 def pi_st(port1, addr, data, datalen, msr_pr=0, is_dcbz=0):
  46
  47     # have to wait until not busy
  48     yield from wait_busy(port1,debug="pi_st_A") # wait while busy
  49
  50     # set up a ST on the port.  address first:
  51     yield port1.is_dcbz_i.eq(is_dcbz)  # reset dcbz too
  52     yield port1.is_st_i.eq(1)  # indicate ST
  53     yield port1.data_len.eq(datalen)  # ST length (1/2/4/8)
  54     yield port1.msr_pr.eq(msr_pr)  # MSR PR bit (1==>virt, 0==>real)
  55
  56     yield port1.addr.data.eq(addr)  # set address
  57     yield port1.addr.ok.eq(1)  # set ok
  58     yield Settle()
  59     yield from wait_addr(port1)             # wait until addr ok
  60     yield from wait_addr(port1)             # wait until addr ok
  61     exc_happened = yield port1.exc_o.happened
  62     if exc_happened:
  63         print("print fast exception happened")
  64         yield port1.is_st_i.eq(0)  # end
  65         yield port1.addr.ok.eq(0)  # set !ok
  66         yield port1.is_dcbz_i.eq(0)  # reset dcbz too
  67         return "fast"
  68
  69     # yield # not needed, just for checking
  70     # yield # not needed, just for checking
  71     # assert "ST" for one cycle (required by the API)
  72     yield port1.st.data.eq(data)
  73     yield port1.st.ok.eq(1)
  74     yield
  75     yield port1.st.ok.eq(0)
  76     yield from wait_busy(port1,debug="pi_st_E") # wait while busy
  77
  78     # TODO: fast exception handling
  79
  80     # can go straight to reset.
  81     yield port1.is_st_i.eq(0)  # end
  82     yield port1.addr.ok.eq(0)  # set !ok
  83     yield port1.is_dcbz_i.eq(0)  # reset dcbz too
  84
  85     return None
  86
  87
  88 # copy of pi_st removed
  89
  90 def pi_ld(port1, addr, datalen, msr_pr=0):
  91
  92     # have to wait until not busy
  93     yield from wait_busy(port1,debug="pi_ld_A") # wait while busy
  94
  95     # set up a LD on the port.  address first:
  96     yield port1.is_ld_i.eq(1)  # indicate LD
  97     yield port1.data_len.eq(datalen)  # LD length (1/2/4/8)
  98     yield port1.msr_pr.eq(msr_pr)  # MSR PR bit (1==>virt, 0==>real)
  99
 100     yield port1.addr.data.eq(addr)  # set address
 101     yield port1.addr.ok.eq(1)  # set ok
 102     yield Settle()
 103     yield from wait_addr(port1)             # wait until addr ok
 104     exc_happened = yield port1.exc_o.happened
 105     if exc_happened:
 106         print("print fast exception happened")
 107         yield port1.is_ld_i.eq(0)  # end
 108         yield port1.addr.ok.eq(0)  # set !ok
 109         return 0, "fast"
 110
 111     yield
 112     yield from wait_ldok(port1)             # wait until ld ok
 113     data = yield port1.ld.data
 114     exc_happened = yield port1.exc_o.happened
 115
 116     # cleanup
 117     yield port1.is_ld_i.eq(0)  # end
 118     yield port1.addr.ok.eq(0)  # set !ok
 119     if exc_happened:
 120         return 0, "slow"
 121
 122     yield from wait_busy(port1,debug="pi_ld_E") # wait while busy
 123
 124     return data, None
 125
 126
 127 def pi_ldst(arg, dut, msr_pr=0):
 128
 129     # do two half-word stores at consecutive addresses, then two loads
 130     addr1 = 0x04
 131     addr2 = addr1 + 0x2
 132     data = 0xbeef
 133     data2 = 0xf00f
 134     #data = 0x4
 135     assert(yield from pi_st(dut, addr1, data, 2, msr_pr) is None)
 136     assert(yield from pi_st(dut, addr2, data2, 2, msr_pr) is None)
 137     result, exc = yield from pi_ld(dut, addr1, 2, msr_pr)
 138     result2, exc2 = yield from pi_ld(dut, addr2, 2, msr_pr)
 139     assert(exc is None)
 140     assert(exc2 is None)
 141     arg.assertEqual(data, result, "data %x != %x" % (result, data))
 142     arg.assertEqual(data2, result2, "data2 %x != %x" % (result2, data2))
 143
 144     # now load both in a 32-bit load to make sure they're really consecutive
 145     data3 = data | (data2 << 16)
 146     result3, exc3 = yield from pi_ld(dut, addr1, 4, msr_pr)
 147     assert(exc3 is None)
 148     arg.assertEqual(data3, result3, "data3 %x != %x" % (result3, data3))
 149
 150
 151 def tst_config_pi(testcls, ifacetype):
 152     """set up a configureable memory test of type ifacetype
 153     """
 154     dut = Module()
 155     pspec = TestMemPspec(ldst_ifacetype=ifacetype,
 156                          imem_ifacetype='',
 157                          addr_wid=48,
 158                          mask_wid=8,
 159                          reg_wid=64)
 160     cmpi = ConfigMemoryPortInterface(pspec)
 161     dut.submodules.pi = cmpi.pi
 162     if hasattr(cmpi, 'lsmem'):  # hmmm not happy about this
 163         dut.submodules.lsmem = cmpi.lsmem.lsi
 164     vl = rtlil.convert(dut, ports=[])  # dut.ports())
 165     with open("test_pi_%s.il" % ifacetype, "w") as f:
 166         f.write(vl)
 167
 168     run_simulation(dut, {"sync": pi_ldst(testcls, cmpi.pi.pi)},
 169                    vcd_name='test_pi_%s.vcd' % ifacetype)
 170
 171
 172 class TestPIMem(unittest.TestCase):
 173
 174     def test_pi_mem(self):
 175         tst_config_pi(self, 'testpi')
 176
 177     def test_pi2ls(self):
 178         tst_config_pi(self, 'testmem')
 179
 180     def test_pi2ls_bare_wb(self):
 181         tst_config_pi(self, 'test_bare_wb')
 182
 183
 184 if __name__ == '__main__':
 185     unittest.main()