Assertions express precisely sampled temporal or data properties and can span more than one interface when modelled. Scoreboards reconstruct and correlate transactions against a reference model. Pick the combination that observes the requirement with explicit assumptions; neither mechanism owns an exclusive bug class or proves the entire system alone.

Common trap: Assigning every signalling bug to assertions and every semantic bug to scoreboards.