zcy
/
pluto_hdl_adi
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

util_adcfifo: Remove always false check 

dma_raddr is only incremented if it is less than dma_waddr_rel_s.
dma_waddr_rel_s is always less or equal to adc_waddr_rel << RATIO and
adc_waddr_rel is less than DMA_ADDR_LIMIT >> RATIO.

By induction we can conclude that this means that dma_raddr will always be
less then DMA_ADDR_LIMIT and the check for this will always evaluate to
false can be removed.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
main
Lars-Peter Clausen 2017-08-17 13:40:16 +02:00
parent a46b9cfa5a
commit cefb2b062e
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
library/util_adcfifo/util_adcfifo.v
View File

@ -184,9 +184,7 @@ module util_adcfifo #(
dma_rd_d <= dma_rd;
dma_rdata_d <= dma_rdata_s;
if (dma_rd_s == 1'b1) begin
if (dma_raddr < DMA_ADDR_LIMIT) begin
dma_raddr <= dma_raddr + 1'b1;
end
dma_raddr <= dma_raddr + 1'b1;
end
end
end