anchor.diff:  
   typedef Axi3Slave#(32,32,4,12) StdAxi3Slave;
   typedef Axi3Master#(40,64,8,12) StdAxi3Master;
  +typedef Axi3Server#(40,64,8,12) StdAxi3Server;
  +typedef Axi3Client#(40,64,8,12) StdAxi3Client;
   typedef Portal#(16,32,32,4,12) StdPortal;
   
   interface PortalTop;
  
positive.code: 
  
  import AxiMasterSlave::*;
  import Leds::*;
  
  interface Portal#(numeric type portalAddrBits, 
  
negative.code: 
  interface PortalDmaTop;
     interface StdAxi3Slave     ctrl;
     interface StdAxi3Client    m_axi;
     interface ReadOnly#(Bool)  interrupt;
     interface LEDS             leds;
  endinterface
  