Simplest: stores block loads until all stores retire
Simplest: stores block loads until all stores retire

Thus loads may execute speculative but not stores

Probably the best that can be done without checking store addresses

Also, we have yet to model caches and cache misses

tommythorn/multisim,tommythorn/multisim