hdl.mem: use 1 as reset value for ReadPort.en.
authorwhitequark <cz@m-labs.hk>
Fri, 20 Sep 2019 19:36:19 +0000 (19:36 +0000)
committerwhitequark <cz@m-labs.hk>
Fri, 20 Sep 2019 19:51:13 +0000 (19:51 +0000)
This is necessary for consistency, since for transparent read ports,
we currently do not support .en at all (it is fixed at 1) due to
YosysHQ/yosys#760. Before this commit, changing port transparency
would require adding or removing an assignment to .en, which is
confusing and error-prone.

Also, most read ports are always enabled, so this behavior is also
convenient.

nmigen/hdl/mem.py
nmigen/test/test_hdl_mem.py
nmigen/test/test_sim.py

index 181e906faaa97006c9b3a646759509568cedcaa8..dfeee875879b8060f7571474ec1de01bf16b1a91 100644 (file)
@@ -88,7 +88,7 @@ class ReadPort(Elaboratable):
         self.data = Signal(memory.width,
                            name="{}_r_data".format(memory.name), src_loc_at=2)
         if self.domain != "comb" and not transparent:
-            self.en = Signal(name="{}_r_en".format(memory.name), src_loc_at=2)
+            self.en = Signal(name="{}_r_en".format(memory.name), src_loc_at=2, reset=1)
         else:
             self.en = Const(1)
 
index 84e1aed839f8b5a8a1a2f1c5082cc8fa19aeb337..332dd5e204f1765eebf9ef2fbcf80fb489431fe7 100644 (file)
@@ -60,6 +60,7 @@ class MemoryTestCase(FHDLTestCase):
         self.assertEqual(rdport.transparent, False)
         self.assertEqual(len(rdport.en), 1)
         self.assertIsInstance(rdport.en, Signal)
+        self.assertEqual(rdport.en.reset, 1)
 
     def test_read_port_asynchronous(self):
         mem    = Memory(width=8, depth=4)
index 7979e495a89f5af2e87a34960613302c46f6f684..adfad0eacf2185054fcfb011a90b7b7ce1148dbf 100644 (file)
@@ -548,9 +548,8 @@ class SimulatorIntegrationTestCase(FHDLTestCase):
             def process():
                 yield self.wrport.data.eq(0x33)
                 yield self.wrport.en.eq(1)
-                yield self.rdport.en.eq(1)
                 yield
-                self.assertEqual((yield self.rdport.data), 0x00)
+                self.assertEqual((yield self.rdport.data), 0xaa)
                 yield
                 self.assertEqual((yield self.rdport.data), 0xaa)
                 yield Delay(1e-6) # let comb propagate