Fix typo ii

This commit is contained in:
Rajnesh Joshi 2024-11-14 11:47:26 -08:00
parent 8d82604bbe
commit eedd6b27ec

View file

@ -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");