anchor.diff:     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 );
  -   end
  +         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
   
   
  
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:          csr_instret <= csr_instret + 1;
        end
        else begin
           if (cfg_verbose > 1) $display("[%7d] rl_exec  : Bypass PC = 0x%08h, instr = 0x%h, Epoch = 0x%08h", csr_cycle, decoded.pc, decoded.instr, pcEpoch);
        end
     endrule
  