pluto_hdl_adi/library/util_adcfifo
Lars-Peter Clausen cefb2b062e 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>
2017-08-18 09:26:24 +02:00
..
Makefile updated makefiles 2016-12-09 23:06:41 +02:00
util_adcfifo.v util_adcfifo: Remove always false check 2017-08-18 09:26:24 +02:00
util_adcfifo_constr.sdc Remove executable flag from non-executable files 2017-07-28 17:56:07 +02:00
util_adcfifo_constr.xdc constraints: Update constraints 2017-02-24 13:43:32 +02:00
util_adcfifo_hw.tcl Remove executable flag from non-executable files 2017-07-28 17:56:07 +02:00
util_adcfifo_ip.tcl library: Delete all adi_ip_constraint process call 2017-04-06 12:36:47 +03:00