minor update

2021-07-27 00:30:10 -07:00
parent 050fadb7ac
commit 7807e285ac
2 changed files with 1 additions and 3 deletions
--- a/hw/rtl/cache/VX_miss_resrv.v
+++ b/hw/rtl/cache/VX_miss_resrv.v
@@ -150,8 +150,6 @@ module VX_miss_resrv #(
                assert(!full_r);
            end else if (restore) begin
                assert(!schedule);
-            end else if (dequeue) begin                
-                assert(head_ptr != schedule_ptr);
            end

            if (push_new) begin