vram/VRAM: tweak docs, remove unnecessary rule condition

This commit is contained in:
David Anderson 2024-09-08 23:42:16 -07:00
parent 1929bbe3cc
commit 16af267ab6
1 changed files with 2 additions and 1 deletions

View File

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