anchor.diff:          method m_axi_s2mm_wvalid wvalid();
       endinterface
       interface AxidmabviM_axi_sg     m_axi_sg;
  -        method aclk(m_axi_sg_aclk) enable((*inhigh*) EN_m_axi_sg_aclk);
           method m_axi_sg_araddr araddr();
           method m_axi_sg_arburst arburst();
           method m_axi_sg_arcache arcache();
  
positive.code:         method rvalid(m_axi_mm2s_rvalid) enable((*inhigh*) EN_m_axi_mm2s_rvalid);
      endinterface
      interface AxidmabviM_axi_s2mm     m_axi_s2mm;
          method aclk(m_axi_s2mm_aclk) enable((*inhigh*) EN_m_axi_s2mm_aclk);
          method m_axi_s2mm_awaddr awaddr();
          method m_axi_s2mm_awburst awburst();
          method m_axi_s2mm_awcache awcache();
  
negative.code: endinterface
  (* always_ready, always_enabled *)
  interface AxidmabviM_axi_s2mm;
      method Bit#(32)     awaddr();
      method Bit#(2)     awburst();
      method Bit#(4)     awcache();
  