anchor.diff:     (* fire_when_enabled *)
      rule rl_fetch(cpu_enabled);
         let next_pc = fromMaybe(fromMaybe(rg_FetchPC, rw_nxtPC.wget), rw_jmpPC.wget);
  -      if (cfg_verbose > 1) $display("[%7d] ( |F   ) : Read instruction pc = 0x%08h", csr_cycle, next_pc);
  +      if (cfg_verbose > 1) $display("[%7d] (  |F   ) : Read instruction pc = 0x%08h", csr_cycle, next_pc);
         imemory.mem_req(next_pc);
         rg_f2d      <= tagged Valid next_pc;
         rg_FetchPC  <= next_pc;
  
positive.code:          end
        endcase
  
        if (cfg_verbose > 1) $display("[%7d] ( |   W) : %s = %h, clear scoreGPRs[%1d] (= %1d)", csr_cycle, regNameABI[rd], rd_value, rd, rg_scoreGPRs[rd] ? 1 : 0);
  
        // NOTE: DOES NOT check register x0 because set value to Zero when read
        rf_GPRs.upd(rd, rd_value);
  
negative.code:       end
  
        if (decoded.pc != pcEpoch) begin
           if (cfg_verbose > 1) $display("[%7d] (A |  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] ( R|  E ) : STALL Conflict pc = 0x%08h, instr = 0x%h, epoch = 0x%08h", csr_cycle, decoded.pc, decoded.instr, pcEpoch);
        end
        else begin
           Bool checkScore = case(decoded.op.opcode) matches
  