test_scoreboard: model store invalidation of LR/SC reservation buffer (!105) · Merge requests · OpenHW Group / backup-20251214 / cv-hpdcache

Placeholder Riccardo Tedeschi requested to merge github/fork/ricted98/rt/scoreboard-lrsc-snoop into master Jul 11, 2025

Starting from the CI error highlighted in !104 (merged), I believe the root cause is the scoreboard modeling of a store operation invalidating the LR/SC reservation buffer. This PR generalizes the addr_match evaluation mimicking what happens also in RTL. The CI fix proposed in the aforementioned PR is included to show that the CI now passes.

test_scoreboard: model store invalidation of LR/SC reservation buffer

Merge request reports