anchor.diff:  
      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} );
  -         rg_e2w <= tagged Valid (Exec2Wb_t {rd: rd, rd_value: tagged Value rd_value});
  -         pc[1]    <= next_pc;
  +         fifo_e2w.enq( Exec2Wb_t {rd: rd, rd_value: tagged Value rd_value} );
  +         rw_pc.wset(next_pc);
            pcEpoch  <= next_pc;
         endaction
      endfunction
  
positive.code:    endrule
  
     // ---------------- RegFile & DMem Write Back
     rule rl_write_back(rg_e2w matches tagged Valid .x);//(fifo_e2w.notEmpty);
        //let x = fifo_e2w.first;
        //fifo_e2w.deq;
        let rd = x.rd;
        let rd_value = ?;
  
  
negative.code:    // INTERFACE
  
     method Action start(Addr initial_pc) if (!cpu_enabled);
        pc          <= initial_pc;
        pcEpoch     <= initial_pc;
        cpu_enabled <= True;
     endmethod
  