anchor.diff:              let resp <- memory.dmem_resp;
   
               if (cfg_verbose > 0 && !isValid(resp)) begin
  -               $display("[%7d] rl_write : Memory read failed", csr_cycle);
  +               $display("[%7d] ( |   W) : Memory read failed", csr_cycle);
                  $finish;
               end
   
  
positive.code:       let score_conflict = score1 || score2;
  
        if (cfg_verbose > 2) begin
           $write("[%7d] rl_exec  : Scoreboard = [", csr_cycle);
           for(Integer i = 0; i < numRegs; i = i + 1) begin
              $write("%1d, ", rg_scoreGPRs[i] ? 1 : 0);
           end
  
negative.code:    (* 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);
        memory.imem_req(next_pc);
        rg_f2d      <= tagged Valid next_pc;
        rg_FetchPC  <= next_pc;
  