anchor.diff:        if (cfg_verbose > 1) $display("[%6d] RISCV(rl_fetch): STATE_FETCH (PC = 0x%08X)", csr_cycle, pc);
   
         memory.imem_req(pc);
  -      csr_instret_update <= False;
  -      cpu_state          <= STATE_EXEC;
  +      cpu_state <= STATE_EXEC;
      endrule
   
      // ---------------- EXECUTE
  
positive.code:                else if ((decoded.funct3 == f3_SRxI) && (instr[31:25] == 7'b010_0000))
                    fa_finish_with_Rd(decoded.rd, pack(s_v1 >> shamt));
  
                 else 
                    fa_finish_with_exception(pc, exc_code_ILLEGAL_INSTRUCTION, ?);
              endaction
           endfunction: fa_exec_OP_IMM
  
negative.code:       csr_dcsr <= tagged Invalid;
        return ret;
     endmethod
  endmodule
  
  // ================================================================
  
  