pyback.sim: test Slice, Cat, Repl.

diff --git a/nmigen/test/test_sim.py b/nmigen/test/test_sim.py
index ef7b18fba90797411d72381411bfc3d74dcbdeb7..0e2b67d79b50b0ae6f8ac1a3b19fa0fbe421dac6 100644 (file)
--- a/nmigen/test/test_sim.py
+++ b/nmigen/test/test_sim.py
@@ -123,3 +123,16 @@ class SimulatorUnitTestCase(FHDLTestCase):
         stmt = lambda a, b, c: Mux(c, a, b)
         self.assertOperator(stmt, [C(2, 4), C(3, 4), C(0)], C(3, 4))
         self.assertOperator(stmt, [C(2, 4), C(3, 4), C(1)], C(2, 4))
+
+    def test_slice(self):
+        stmt1 = lambda a: a[2]
+        self.assertOperator(stmt1, [C(0b10110100, 8)], C(0b1,  1))
+        stmt2 = lambda a: a[2:4]
+        self.assertOperator(stmt2, [C(0b10110100, 8)], C(0b01, 2))
+
+    def test_cat(self):
+        self.assertOperator(Cat, [C(0b10, 2), C(0b01, 2)], C(0b0110, 4))
+
+    def test_repl(self):
+        stmt = lambda a: Repl(a, 3)
+        self.assertOperator(stmt, [C(0b10, 2)], C(0b101010, 6))