anchor.diff:     function Bool fn_is_IO_addr (Fabric_Addr addr);
         return (   fn_is_plic_addr (addr)
   	      || fn_is_near_mem_io_addr (addr)
  -	   // || fn_is_pcie_ecam_slave_bridge_addr (addr)
   	      || fn_is_flash_mem_addr (addr)
  -	   // || fn_is_pcie_block_registers_addr (addr)
   	      || fn_is_ethernet_0_addr (addr)
   	      || fn_is_dma_0_addr (addr)
   	      || fn_is_uart16550_0_addr  (addr)
  
positive.code: 	      || fn_is_uart2_addr (addr)
  	      || fn_is_gpio1_addr (addr)
  	      || fn_is_gpio2_addr (addr)
  	      );
     endfunction
  
  
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;
  