In reply to chr_sue:
I agree that predictor or reference model should be independent of any timing but IMHO not necessarily for any control signals. It needs information about control signals to generate expected TL.
I never intended to do Exact protocol checking using reference model.