The following table lists the behaviours that are forbidden by the Flowing model, yet observed on hardware. Comparison applies to behaviours that cannot result from the occurrence of the Read after Read hazard anomaly.
Flowing | Hardware | Model | Op | ARM-Model | Q | |
DETOUR0008 | Forbid | Ok, 1.0k/65G | Forbid | Forbid | Forbid | Forbid |
LB+PPO0536 | Forbid | Ok, 1/65G | Forbid | Forbid | Forbid | Forbid |
LB+data+pos-fri-rfi-addr | Forbid | Ok, 103k/29G | Forbid | Forbid | Allow | Allow |
LB+data+pos-fri-rfi-ctrl | Forbid | Ok, 115k/29G | Forbid | Forbid | Allow | Allow |
LB+data+pos-fri-rfi-data | Forbid | Ok, 113k/29G | Forbid | Forbid | Allow | Allow |
MP+dmb+pos-fri-rfi-ctrlisb | Forbid | Ok, 65k/97G | Forbid | Forbid | Allow | Allow |
S+dmb+pos-fri-rfi-addr | Forbid | Ok, 367k/27G | Forbid | Forbid | Allow | Allow |
S+dmb+pos-fri-rfi-ctrl | Forbid | Ok, 357k/26G | Forbid | Forbid | Allow | Allow |
S+dmb+pos-fri-rfi-data | Forbid | Ok, 365k/26G | Forbid | Forbid | Allow | Allow |
LB+data+pos-fri-rfi-addr-po | Forbid | Ok, 230k/26G | Forbid | Forbid | Allow | Allow |
LB+data+pos-fri-rfi-addr-po001 | Forbid | Ok, 146k/26G | Forbid | Forbid | Allow | Allow |
LB+data+pos-fri-rfi-ctrl-po | Forbid | Ok, 156k/23G | Forbid | Forbid | Allow | Allow |
MP+dmb+pos-fri-rfi-data-rfi | Forbid | Ok, 167k/23G | Forbid | Forbid | Allow | Allow |
S+dmb+pos-fri-rfi-addr-addr | Forbid | Ok, 19k/25G | Forbid | Forbid | Allow | Allow |
S+dmb+pos-fri-rfi-addr-ctrl | Forbid | Ok, 32k/23G | Forbid | Forbid | Allow | Allow |
S+dmb+pos-fri-rfi-addr-data | Forbid | Ok, 36k/25G | Forbid | Forbid | Allow | Allow |
S+dmb+pos-fri-rfi-addr-fri | Forbid | Ok, 590k/25G | Forbid | Forbid | Allow | Allow |
S+dmb+pos-fri-rfi-pos-ctrl | Forbid | Ok, 161k/23G | Forbid | Forbid | Allow | Allow |
LB+data+pos-fri-rfi-addr-addr-po | Forbid | Ok, 18k/26G | Forbid | Forbid | Allow | Allow |
LB+data+pos-fri-rfi-addr-ctrl-po | Forbid | Ok, 24k/23G | Forbid | Forbid | Allow | Allow |
LB+data+pos-fri-rfi-addr-data-po | Forbid | Ok, 39k/23G | Forbid | Forbid | Allow | Allow |
LB+data+pos-fri-rfi-addr-fri-po | Forbid | Ok, 133k/26G | Forbid | Forbid | Allow | Allow |
LB+data+pos-fri-rfi-addr-rfi-po | Forbid | Ok, 124k/23G | Forbid | Forbid | Allow | Allow |
LB+data+pos-fri-rfi-addr-wsi-po | Forbid | Ok, 121k/25G | Forbid | Forbid | Allow | Allow |
LB+data+pos-fri-rfi-ctrl-wsi-po | Forbid | Ok, 116k/23G | Forbid | Forbid | Allow | Allow |
LB+data+pos-fri-rfi-pos-ctrl-po | Forbid | Ok, 116k/26G | Forbid | Forbid | Allow | Allow |
S+dmb+pos-fri-rfi-data-rfi-ctrl | Forbid | Ok, 29k/25G | Forbid | Forbid | Allow | Allow |
WRR+2W+addr+dmb | Forbid | Ok, 1/23G | Forbid | Forbid | Forbid | Forbid |
WRR+2W+ctrlisb+dmb | Forbid | Ok, 5/23G | Forbid | Forbid | Forbid | Forbid |
DETOUR0661 | Forbid | Ok, 1/20G | Forbid | Forbid | Forbid | Forbid |
DETOUR0687 | Forbid | Ok, 42/22G | Forbid | Forbid | Forbid | Forbid |
ISA2+dmb+fri+addr | Forbid | Ok, 3/41G | Forbid | Forbid | Forbid | Forbid |
MP+dmb+pos-ctrlisb+BIS | Forbid | Ok, 82/37G | Forbid | Forbid | Forbid | Forbid |
DETOUR0689 | Forbid | Ok, 29/22G | Forbid | Forbid | Forbid | Forbid |
MOREDETOUR0785 | Forbid | Ok, 8/16G | Forbid | Forbid | Forbid | Forbid |
LB+data+detr-fri-rfi-addr | Forbid | Ok, 199k/6.5G | Forbid | Forbid | Allow | Allow |
LB+data+detr-fri-rfi-ctrl | Forbid | Ok, 177k/6.5G | Forbid | Forbid | Allow | Allow |
LB+data+detr-fri-rfi-data | Forbid | Ok, 184k/6.5G | Forbid | Forbid | Allow | Allow |
MOREDETOUR0740 | Forbid | Ok, 7/16G | Forbid | — | Forbid | Forbid |
MOREDETOUR0185 | Forbid | Ok, 1/16G | Forbid | Forbid | Forbid | Forbid |
MOREDETOUR0824 | Forbid | Ok, 77/14G | Forbid | — | Forbid | Forbid |