Skip to content

Commit d397691

Browse files
crisbourdpretet
authored andcommitted
Make verilator linter happy
1 parent 9172f26 commit d397691

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

rtl/rptr_empty.v

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -37,7 +37,7 @@ module rptr_empty
3737

3838
// Memory read-address pointer (okay to use binary to address memory)
3939
assign raddr = rbin[ADDRSIZE-1:0];
40-
assign rbinnext = rbin + (rinc & ~rempty);
40+
assign rbinnext = rbin + ((rinc & ~rempty) ? 1 : 0);
4141
assign rgraynext = (rbinnext >> 1) ^ rbinnext;
4242
assign rgraynextm1 = ((rbinnext + 1'b1) >> 1) ^ (rbinnext + 1'b1);
4343

rtl/wptr_full.v

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ module wptr_full
3535

3636
// Memory write-address pointer (okay to use binary to address memory)
3737
assign waddr = wbin[ADDRSIZE-1:0];
38-
assign wbinnext = wbin + (winc & ~wfull);
38+
assign wbinnext = wbin + ((winc & ~wfull) ? 1 : 0);
3939
assign wgraynext = (wbinnext >> 1) ^ wbinnext;
4040
assign wgraynextp1 = ((wbinnext + 1'b1) >> 1) ^ (wbinnext + 1'b1);
4141

0 commit comments

Comments
 (0)