anchor.diff:     rule finished;
         let result <- spi.response.get();
         $display("master received %h", result);
  -      responseProbe <= result;
         if (result == slaveV)
   	 $finish(0);
         else
  
positive.code:       method Action put(a v) if (countreg == 0);
  	 selreg <= 0;
  	 shiftreg <= pack(v);
  	 shiftprobe <= pack(v);
  	 countreg <= fromInteger(valueOf(awidth));
        endmethod
     endinterface: request
  
negative.code: import Connectable :: *;
  import StmtFSM     :: *;
  import SpecialFIFOs:: *;
  
  (* always_enabled *)
  interface SpiPins;
  