User Manual: PMA Address Ranges

Created by: eroom1966

The address range specification in section 7.1? This doesn't look right. It says:

The address boundaries of a PMA region are set in word_addr_low/word_addr_high. These contain bits 33:2 of 34-bit, word aligned addresses. To get an address match, the transfer address addr must be in the range word_addr_low <= addr < word_addr_high.

As far as I can see this definition means that the address of the very top word of physical memory (0x3fffffffc) can never match a PMA region address. Is this right? Perhaps the comparison should be:

{word_addr_low,2'b00} <= {addr[33:2],2'b00} < {word_addr_high,2'b11}