anchor.diff:     // Instruction fetch
      //(* conflict_free="rl_fetch, rl_exec, rl_write_back" *)
      rule rl_fetch(cpu_enabled);
  -      if (cfg_verbose > 1) $display("[%7d] rl_fetch : Read instruction PC = 0x%08h", csr_cycle, pc);
  -      memory.imem_req(pc);
  -
  -      let next_pc = fromMaybe(pc + 4, rw_pc.wget);
  -      pc <= next_pc;
  +      if (cfg_verbose > 1) $display("[%7d] rl_fetch : Read instruction PC = 0x%08h", csr_cycle, pc[2]);
  +      memory.imem_req(pc[2]);
      endrule
   
      // ----------------------------------------------------------------
  
positive.code:    function Action fa_finish_jump(RegName rd, Word rd_value, Addr next_pc);
        action
           fifo_e2w.enq( Exec2Wb_t {rd: rd, rd_value: tagged Value rd_value} );
           rw_pc.wset(next_pc);
           pcEpoch  <= next_pc;
        endaction
     endfunction
  
negative.code:    rule rl_decode;
        let x <- memory.imem_resp;
        if (x matches tagged Resp .resp) begin
           let xPC = resp.pc;
           let instr = resp.instr;
  
           if (cfg_verbose > 1) $display("[%7d] rl_decode: PC = 0x%08h, instr = %h", csr_cycle, xPC, instr);
           Decoded_Instr decoded = fv_decode(xPC, instr, rf_GPRs);
           fifo_f2e.enq( decoded );
           pc[0] <= xPC + 4;
        end
     endrule
  
  
  