comments

diff --git a/src/soc/experiment/mmu.py b/src/soc/experiment/mmu.py
index e95999485de41157d5c21ee232bf745431fa4823..01eb61d32cd619cbebabac9fe1399d8ed9656847 100644 (file)
--- a/src/soc/experiment/mmu.py
+++ b/src/soc/experiment/mmu.py
@@ -376,6 +376,9 @@ class MMU(Elaboratable):
                 sync += Display("MMUBUG: non-present PTE, generate a DSI")
 
     def segment_check(self, m, v, r, data, finalmask):
+        """segment_check: checks validity of the request before doing a
+        RADIX lookup. reports either segment error or bad tree if not ok
+        """
         comb = m.d.comb
 
         mbits = Signal(6)