anchor.diff:     
      let interrupt_bit = top.interrupt ? 1'b1 : 1'b0;
      
  -`define TRACE_AXI
   `ifndef TRACE_AXI
      mkConnection(ps7.m_axi_gp[0].client, top.ctrl);
   `else
  
positive.code: import Bscan::*;
  import FIFOF::*;
  
  (* always_ready, always_enabled *)
  interface ZynqTop#(type pins);
     (* prefix="" *)
  
negative.code:       bscanBram.server.request.put(BRAMRequest {write:True, responseOnWrite:False, address:addrReg, datain:data});
        addrReg <= addrReg + 1;
     endrule
     Reg#(Bit#(16)) seqCounter <- mkReg(0, clocked_by mainclock.c, reset_by mainclock.r);
     rule seqinc;
         seqCounter <= seqCounter + 1;
     endrule
  
     // AXI trace for JTAG
     let m = ps7.m_axi_gp[0].client;
  