anchor.diff:  	      || fn_is_uart2_addr (addr)
   	      || fn_is_gpio1_addr (addr)
   	      || fn_is_gpio2_addr (addr)
  +	      || fn_is_xdma_control (addr)
  +	      || fn_is_xdma_ecam (addr)
   	      );
      endfunction
   
  
positive.code:    function Bool fn_is_flash_mem_addr (Fabric_Addr addr);
        return ((flash_mem_addr_base <= addr) && (addr < flash_mem_addr_lim));
     endfunction
  
     // ----------------------------------------------------------------
     // PCIe Block Registers
  
     /* REMOVED?
     Fabric_Addr pcie_block_registers_addr_base = 'h_6000_0000;
     Fabric_Addr pcie_block_registers_addr_size = 'h_0001_0000;    // 64K
     Fabric_Addr pcie_block_registers_addr_lim  = ( pcie_block_registers_addr_base
  						 + pcie_block_registers_addr_size);
  
     function Bool fn_is_pcie_block_registers_addr (Fabric_Addr addr);
        return ((pcie_block_registers_addr_base <= addr) && (addr < pcie_block_registers_addr_lim));
     endfunction
     */
  
     // ----------------------------------------------------------------
     // Ethernet 0
  
negative.code:    (* always_ready *)   method  Fabric_Addr  m_near_mem_io_addr_size;
     (* always_ready *)   method  Fabric_Addr  m_near_mem_io_addr_lim;
  
     (* always_ready *)   method  Fabric_Addr  m_flash_mem_addr_base;
     (* always_ready *)   method  Fabric_Addr  m_flash_mem_addr_size;
     (* always_ready *)   method  Fabric_Addr  m_flash_mem_addr_lim;
  
     (* always_ready *)   method  Fabric_Addr  m_ethernet_0_addr_base;
     (* always_ready *)   method  Fabric_Addr  m_ethernet_0_addr_size;
  