anchor.diff:  
      // ----------------------------------------------------------------
      // Scoreboard map
  -   Reg#(Bit#(2))  rg_scoreGPRs[numRegs][2];
  +   Reg#(Bool)  rg_scoreGPRs[numRegs][2];
      for(Integer i = 0; i < numRegs; i = i + 1)
  -      rg_scoreGPRs[i] <- mkCReg(2, 0);
  +      rg_scoreGPRs[i] <- mkCReg(2, False);
   
      // ----------------------------------------------------------------
      // Read a CSR
  
positive.code:          // Update dependency flag for $rd
           if (  fields.opcode7 != op_BRANCH
              && fields.opcode7 != op_STORE) begin
                 rg_scoreGPRs[fields.rd][0] <= rg_scoreGPRs[fields.rd][0] + 1;
           end
  
           fa_exec(decoded, fields);
  
negative.code:          end
        endcase
  
        if (cfg_verbose > 1) $display("[%7d] rl_write_back: %s = %h, clear scoreGPRs[%1d] (= %1d)", csr_cycle, regNameABI[rd], rd_value, rd, rg_scoreGPRs[rd][0] ? 1 : 0);
  
        // NOTE: DOES NOT check register x0 because set value to Zero when read
        rf_GPRs.upd(rd, rd_value);
        rg_scoreGPRs[rd][0] <= False;
     endrule
  
  
  