experimental conversion of ptw.sv

diff --git a/TLB/src/ariane/ptw.py b/TLB/src/ariane/ptw.py
index 8faea2edee47dd373531aaad497183cb6ba7fa33..4ddfa76cc4db3c115a0534081aaaffffaa1ffc5b 100644 (file)
--- a/TLB/src/ariane/ptw.py
+++ b/TLB/src/ariane/ptw.py
@@ -354,19 +354,14 @@ class PTW:
                 # we've got a data WAIT_GRANT so tell the cache that the tag is valid
 
             # Propagate error to MMU/LSU
-            PROPAGATE_ERROR: begin
-                state_d     = IDLE;
-                ptw_error_o = 1'b1;
-            end
+            with m.State("PROPAGATE_ERROR"):
+                m.next = "IDLE"
+                m.d.comb += ptw_error_o.eq(1)
+
             # wait for the rvalid before going back to IDLE
-            WAIT_RVALID: begin
-                if (data_rvalid_q)
-                    state_d = IDLE;
-            end
-            default: begin
-                state_d = IDLE;
-            end
-        endcase
+            with m.State("WAIT_RVALID"):
+                m.If (data_rvalid_q):
+                    m.next = "IDLE"
 
         # -------
         # Flush