anchor.diff:        end
   
         if (decoded.pc != pcEpoch) begin
  -         if (cfg_verbose > 1) $display("[%7d] rl_exec  : STALL Ignore pc = 0x%08h, instr = 0x%08h, epoch = 0x%08h", csr_cycle, decoded.pc, decoded.instr, pcEpoch);
  +         if (cfg_verbose > 1) $display("[%7d] (P|  E ) : STALL Ignore pc = 0x%08h, instr = 0x%08h, epoch = 0x%08h", csr_cycle, decoded.pc, decoded.instr, pcEpoch);
            fifo_d2e.deq;
         end
         else if (score_conflict) begin
  -         if (cfg_verbose > 1) $display("[%7d] rl_exec  : STALL Conflict pc = 0x%08h, instr = 0x%h, epoch = 0x%08h", csr_cycle, decoded.pc, decoded.instr, pcEpoch);
  +         if (cfg_verbose > 1) $display("[%7d] (R|  E ) : STALL Conflict pc = 0x%08h, instr = 0x%h, epoch = 0x%08h", csr_cycle, decoded.pc, decoded.instr, pcEpoch);
         end
         else begin
  -         if (cfg_verbose > 1) $display("[%7d] rl_exec  : pc = 0x%08h, instr = 0x%08h, epoch = 0x%08h", csr_cycle, decoded.pc, decoded.instr, pcEpoch);
  -
            Bool checkScore = case(decoded.op.opcode) matches
                                 tagged Br .*   : False;
                                 tagged St .*   : False;
  
positive.code:                default  :  fa_finish_with_Rd(fields.rd, pack(s_v1 & s_v2));
                 endcase
  
                 if (cfg_verbose > 2) begin
                    let msg =  $format("[%7d] fa_exec  : pc = 0x%h, *** ", csr_cycle, decoded.pc)
                             + fshow(op)
                             + $format(" %s, %s, %s", regNameABI[fields.rd], regNameABI[fields.rs1], regNameABI[fields.rs2]);
                    $display(msg);
                 end
              endaction
           endfunction: fa_exec_OP
  
  
           // ----------------------------------------------------------------
           // Instrucions for System-level ops
  
           function Action fa_exec_SYSTEM(SysFunc op);
              action
                 let csr_old_val = fromMaybe(?, m_v_csr);
  
                 case(op)
  
negative.code:       let score_conflict = score1 || score2;
  
        if (cfg_verbose > 2) begin
           $write("[%7d] ( |    ) : Scoreboard = [", csr_cycle);
           for(Integer i = 0; i < numRegs; i = i + 1) begin
              $write("%1d, ", rg_scoreGPRs[i] ? 1 : 0);
           end
  