tests/compat/test_signed.py

   1 import unittest
   2
   3 from nmigen.compat import *
   4
   5 from .support import SimCase
   6
   7
   8 class SignedCase(SimCase, unittest.TestCase):
   9     class TestBench(Module):
  10         def __init__(self):
  11             self.a = Signal((3, True))
  12             self.b = Signal((4, True))
  13             comps = [
  14                 lambda p, q: p > q,
  15                 lambda p, q: p >= q,
  16                 lambda p, q: p < q,
  17                 lambda p, q: p <= q,
  18                 lambda p, q: p == q,
  19                 lambda p, q: p != q,
  20             ]
  21             self.vals = []
  22             for asign in 1, -1:
  23                 for bsign in 1, -1:
  24                     for f in comps:
  25                         r = Signal()
  26                         r0 = f(asign*self.a, bsign*self.b)
  27                         self.comb += r.eq(r0)
  28                         self.vals.append((asign, bsign, f, r, r0.op))
  29
  30     def test_comparisons(self):
  31         def gen():
  32             for i in range(-4, 4):
  33                 yield self.tb.a.eq(i)
  34                 yield self.tb.b.eq(i)
  35                 yield
  36                 a = yield self.tb.a
  37                 b = yield self.tb.b
  38                 for asign, bsign, f, r, op in self.tb.vals:
  39                     r, r0 = (yield r), f(asign*a, bsign*b)
  40                     self.assertEqual(r, int(r0),
  41                             "got {}, want {}*{} {} {}*{} = {}".format(
  42                                 r, asign, a, op, bsign, b, r0))
  43         self.run_with(gen())