I don't know the particular implementation of the filter in AMD's processors. But a Bloom filter might have false positives but is guaranteed to never have false negatives; You might get to send an extra coherence probe, but you will never miss one.When looking at HT Assist, the properties that look difficult to me are that the non-presence of a line in the filter means it is considered uncached,
I have no idea what kind of magic goes into maintaining the filter in a (semi) correct state.
Cheers