From 16af267ab680a8e6088b10b13f67c7a58767f48f Mon Sep 17 00:00:00 2001
From: David Anderson <dave@natulte.net>
Date: Sun, 8 Sep 2024 23:42:16 -0700
Subject: [PATCH] vram/VRAM: tweak docs, remove unnecessary rule condition

---
 vram/VRAM.bsv | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/vram/VRAM.bsv b/vram/VRAM.bsv
index d22c2f7..d7c0593 100644
--- a/vram/VRAM.bsv
+++ b/vram/VRAM.bsv
@@ -16,6 +16,7 @@ export VRAMAddr, VRAMData, VRAMRequest(..), VRAMResponse(..);
 export VRAMServer(..);
 export VRAM(..), mkVRAM;
 
+// A VRAMServer is a memory port.
 typedef Server#(VRAMRequest, VRAMResponse) VRAMServer;
 
 // mkArbitratedVRAMServers expands a VRAMServer port into multiple
@@ -49,7 +50,7 @@ module mkArbitratedVRAMServers(VRAMServer ram, MemArbiter#(n, VRAMAddr) arb, Vec
    endrule
 
    (* fire_when_enabled *)
-   rule response (awaiting_response[0] matches tagged Valid .port &&& responses[port].notFull);
+   rule response (awaiting_response[0] matches tagged Valid .port);
       let resp <- ram.response.get();
       responses[port].enq(resp);
       awaiting_response[0] <= tagged Invalid;