diff --git a/core/execution_units/load_store_unit/dcache_noinv.sv b/core/execution_units/load_store_unit/dcache_noinv.sv index 616ed9a..179ae99 100644 --- a/core/execution_units/load_store_unit/dcache_noinv.sv +++ b/core/execution_units/load_store_unit/dcache_noinv.sv @@ -365,7 +365,7 @@ module dcache_noinv assert property (@(posedge clk) disable iff (rst) ls.new_request |-> ls.ready) else $error("dcache received request when not ready"); - dache_suprious_l1_ack_assertion: + dcache_spurious_l1_ack_assertion: assert property (@(posedge clk) disable iff (rst) mem.ack |-> mem.request) else $error("dcache received ack without a request");