Added everything from the other system

2026-02-28 21:46:59 +01:00
parent 907f244b24
commit 1c37d384c2
34 changed files with 1601 additions and 57 deletions
--- a/cores/wb/formal_checker/formal/formal_wb_master_checker.v
+++ b/cores/wb/formal_checker/formal/formal_wb_master_checker.v
@@ -52,6 +52,7 @@ module formal_wb_master_checker (
        // R3: Once a request starts, hold it stable until the slave responds
        if(
            f_past_valid &&
+            !$past(i_rst || i_wb_rst) &&
            $past(i_wb_cyc && i_wb_stb && !o_wb_ack) &&
            !o_wb_ack &&
            !(i_rst || i_wb_rst)