anchor.diff:        cpu_state   <= STATE_FETCH;
      endrule
   
  -   // ---------------- Increment csr_cycle and csr_time according to external oracles
  +   // ---------------- Increment csr_cycle according to external oracles
   
      rule rl_incr_cycle;
         csr_cycle <= csr_cycle + 1;
  -   endrule
  -
  -   rule rl_incr_time;
  -      csr_time <= csr_time + 1;
      endrule
   
      // ----------------------------------------------------------------
  
positive.code:                           fa_finish_with_Rd(decoded.rd, value);
                         end
                 f3_LW:  begin
                            Int#(32)  s32   = unpack(truncate (u));
                            Word_S    s     = signExtend(s32);
                            Word      value = pack(s);
                            fa_finish_with_Rd(decoded.rd, value);
  
negative.code:                           fa_finish_with_Rd(decoded.rd, value);
                         end
                 f3_LH:  begin
                            Int#(16)  s16   = unpack(truncate(u));
                            Word_S    s     = signExtend(s16);
                            Word      value = pack(s);
                            fa_finish_with_Rd(decoded.rd, value);
  