anchor.diff:          // make conflict with incorrect spec
           wrongSpec_wakeBySB_conflict.wset(?);
       endmethod
  +`endif
   
       interface SpeculationUpdate specUpdate;
           method Action correctSpeculation(SpecBits mask);
  
positive.code:     Bool             inIssueQ;
      // Ld is executing (either issued to cache or forwarding is on its way).
      Bool             executing;
      // Ld has got its result
      Bool             done;
      // Ld is killed by older inst (failed speculation), can be true only when
      // executing or done is true
  
negative.code:                 Bool overlap = overlapAddr(pa, shift_be,
                                             ld_paddr_updAddr[i],
                                             ld_shiftedBE_updAddr[i]);
                  // figure out if the load reads a stale value. Note that
                  // checking executing bit is enough: every done load must also
                  // have executing bit set.
                  Bool read_stale;
                  if(ld_executing_updAddr[i]) begin
                      if(readFromVirTags[i] matches tagged Valid .rf) begin
                          // younger load bypass from a store
                          if(curSt matches tagged Valid .st) begin
  