The following table lists the behaviours that are forbidden by the POP model, yet observed on hardware. Comparison applies to behaviours that cannot result from the occurrence of the Read after Read hazard anomaly.
Kind | Pop | Hardware | Model | ARM-Model | Q | Op | Flowing | |
DETOUR0008 | Allow | Forbid | Ok, 1.0k/68G | Forbid | Forbid | Forbid | Forbid | Forbid |
LB+PPO0536 | Allow | Forbid | Ok, 1/68G | Forbid | Forbid | Forbid | Forbid | Forbid |
WRR+2W+addr+dmb | Allow | Forbid | Ok, 1/24G | Forbid | Forbid | Forbid | Forbid | Forbid |
WRR+2W+ctrlisb+dmb | Allow | Forbid | Ok, 5/24G | Forbid | Forbid | Forbid | Forbid | Forbid |
DETOUR0661 | Allow | Forbid | Ok, 1/20G | Forbid | Forbid | Forbid | Forbid | Forbid |
DETOUR0687 | Allow | Forbid | Ok, 42/22G | Forbid | Forbid | Forbid | Forbid | Forbid |
ISA2+dmb+fri+addr | Allow | Forbid | Ok, 3/41G | Forbid | Forbid | Forbid | Forbid | Forbid |
MP+dmb+pos-ctrlisb+BIS | Allow | Forbid | Ok, 82/38G | Forbid | Forbid | Forbid | Forbid | Forbid |