anchor.diff:  	 hwenabled <= en == 1;
         endmethod
      
  -
  -   
   endmodule
positive.code: import NopEngine::*;
  
  interface RingRequest;
     method Action set(Bit#(1) cmd, Bit#(2) regist, Bit#(32) addr);
     method Action get(Bit#(1) cmd, Bit#(2) regist);
     method Action hwenable(Bit#(1) en);
     method Action doCommandIndirect(Bit#(32) addr);
     method Action doCommandImmediate(Bit#(64) data);
  endinterface
  
  interface RingIndication;
     method Action setResult(Bit#(1) cmd, Bit#(2) regist, Bit#(32) addr);
     method Action getResult(Bit#(1) cmd, Bit#(2) regist, Bit#(32) addr);
     method Action completion(Bit#(32) command, Bit#(32) tag);
  endinterface
  
  
negative.code: 	 indication.setResult(cmd, regist, addr);
        endmethod
     
        method Action get(Bit#(1) _cmd, Bit#(3) regist);
  	 if (_cmd == 1)
  	    indication.getResult(1, regist, 3	       cmdRing.configifc.get(regist));
  	 else
  	    indication.getResult(0, regist, 
  	       statusRing.configifc.get(regist));
  