minor updates

This commit is contained in:
Blaise Tine
2021-01-17 13:58:43 -08:00
parent 98945df5ae
commit ed216ab39d
9 changed files with 65 additions and 30 deletions

View File

@@ -30,10 +30,10 @@ module VX_fifo_queue_xt #(
reg [ADDRW-1:0] used_r;
always @(posedge clk) begin
if (reset) begin
used_r <= 0;
if (reset) begin
full_r <= 0;
almost_full_r <= 0;
almost_full_r <= 0;
used_r <= 0;
end else begin
assert(!push || !full);
assert(!pop || !empty_r);