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 | Lazy | Hardware | Model | ARM-Model | Q | Op | Pop | Flowing | |
DETOUR0008 | Allow | Forbid | Ok, 1.0k/68G | Forbid | Forbid | Forbid | Forbid | Forbid | Forbid |
LB+PPO0536 | Allow | Forbid | Ok, 1/68G | Forbid | Forbid | Forbid | Forbid | Forbid | Forbid |
WRR+2W+addr+dmb | Allow | Forbid | Ok, 1/24G | Forbid | Forbid | Forbid | Forbid | Forbid | Forbid |
WRR+2W+ctrlisb+dmb | Allow | Forbid | Ok, 5/24G | Forbid | Forbid | Forbid | Forbid | Forbid | Forbid |
DETOUR0661 | Allow | Forbid | Ok, 1/20G | Forbid | Forbid | Forbid | Forbid | Forbid | Forbid |
DETOUR0687 | Allow | Forbid | Ok, 42/22G | Forbid | Forbid | Forbid | Forbid | Forbid | Forbid |
ISA2+dmb+fri+addr | Allow | Forbid | Ok, 3/41G | Forbid | Forbid | Forbid | Forbid | Forbid | Forbid |
MP+dmb+pos-ctrlisb+BIS | Allow | Forbid | Ok, 82/38G | Forbid | Forbid | Forbid | Forbid | Forbid | Forbid |
DETOUR0689 | Allow | Forbid | Ok, 29/22G | Forbid | Forbid | Forbid | Forbid | — | Forbid |
MOREDETOUR0457 | Allow | Forbid | Ok, 1/19G | Forbid | Forbid | Forbid | Forbid | — | — |
MOREDETOUR0458 | Allow | Forbid | Ok, 2/16G | Forbid | Forbid | Forbid | Forbid | — | — |
MOREDETOUR0785 | Allow | Forbid | Ok, 8/16G | Forbid | Forbid | Forbid | Forbid | — | Forbid |
MOREDETOUR0058 | Allow | Forbid | Ok, 2/18G | Forbid | Forbid | Forbid | Forbid | — | Forbid |
MOREDETOUR0461 | Allow | Forbid | Ok, 18/18G | Forbid | Forbid | Forbid | — | — | Forbid |
MOREDETOUR0740 | Allow | Forbid | Ok, 7/16G | Forbid | Forbid | Forbid | — | — | Forbid |
MOREDETOUR0052 | Allow | Forbid | Ok, 60/33G | Forbid | Forbid | Forbid | — | — | — |
MOREDETOUR0185 | Allow | Forbid | Ok, 1/16G | Forbid | Forbid | Forbid | Forbid | — | Forbid |
MOREDETOUR0188 | Allow | Forbid | Ok, 1/16G | Forbid | Forbid | Forbid | — | — | — |
MOREDETOUR0326 | Allow | Forbid | Ok, 5/16G | Forbid | Forbid | Forbid | — | — | — |
MOREDETOUR0824 | Allow | Forbid | Ok, 77/15G | Forbid | Forbid | Forbid | — | — | Forbid |
MOREDETOUR0782 | Allow | Forbid | Ok, 155/3.8G | Forbid | Forbid | Forbid | — | — | — |
MOREDETOUR0068 | Allow | Forbid | Ok, 10/16G | Forbid | Forbid | Forbid | — | — | — |
MOREDETOUR0342 | Allow | Forbid | Ok, 4/16G | Forbid | Forbid | Forbid | — | — | — |
MOREDETOUR0503 | Allow | Forbid | Ok, 8/13G | Forbid | Forbid | Forbid | — | — | — |
MOREDETOUR0788 | Allow | Forbid | Ok, 11/19G | Forbid | Forbid | Forbid | — | — | — |
MOREDETOUR0810 | Allow | Forbid | Ok, 1/21G | Forbid | Forbid | Forbid | — | — | — |
MOREDETOUR0812 | Allow | Forbid | Ok, 27/12G | Forbid | Forbid | Forbid | — | — | — |