Previous Up

Comparison with ARM hardware

Invalid behaviours

The following table lists the behaviours that are forbidden by the Non-Flowing model, yet observed on harware. Comparison applies to behaviours that cannot result from the occurrence of the Read after Read hazard anomaly.

There are 231 such tests
 OpHardwareModelARM-Model
MP+dmb+dmb.stForbidOk, 4.9k/75GAllowAllow
MP+dmb.stsForbidOk, 22k/75GAllowAllow
MP+dsb+dmb.stForbidOk, 678/75GAllowAllow
MP+dsb.st+dmb.stForbidOk, 2.9k/75GAllowAllow
R+dmb+dmb.stForbidOk, 251k/75GAllowAllow
R+dmb.stsForbidOk, 1.4M/75GAllowAllow
R+dsb+dmb.stForbidOk, 154k/75GAllowAllow
R+dsb.st+dmb.stForbidOk, 178k/75GAllowAllow
SB+dmb+dmb.stForbidOk, 16M/73GAllowAllow
SB+dmb.st+dsbForbidOk, 697k/73GAllowAllow
SB+dmb.st+dsb.stForbidOk, 813k/73GAllowAllow
SB+dmb.stsForbidOk, 207M/75GAllowAllow
DETOUR0008ForbidOk, 1.0k/65GForbidForbid
LB+PPO0536ForbidOk, 1/65GForbidForbid
LB+data+fri-rfi-addrForbidOk, 109k/26GForbidAllow
LB+data+fri-rfi-ctrlForbidOk, 123k/26GForbidAllow
LB+data+fri-rfi-dataForbidOk, 124k/26GForbidAllow
MP+dmb+fri-rfi-ctrlisbForbidOk, 153k/193GForbidAllow
S+dmb+fri-rfi-addrForbidOk, 391k/26GForbidAllow
S+dmb+fri-rfi-ctrlForbidOk, 373k/26GForbidAllow
S+dmb+fri-rfi-dataForbidOk, 367k/26GForbidAllow
DETOUR0215ForbidOk, 6.8k/66GForbidAllow
DETOUR0267ForbidOk, 6.8k/66GForbidAllow
DETOUR1084ForbidOk, 56/66GForbidAllow
DETOUR1136ForbidOk, 108/66GForbidAllow
LB+data+RDWI+addr+RWForbidOk, 48k/63GForbidAllow
LB+data+RDWI+addr+WWForbidOk, 35k/63GForbidAllow
LB+data+data-wsi-rfi-addrForbidOk, 7.1k/24GForbidAllow
LB+data+data-wsi-rfi-ctrlForbidOk, 7.4k/20GForbidAllow
LB+data+data-wsi-rfi-ctrl+BISForbidOk, 6.7k/20GForbidAllow
LB+data+fri-wsi-rfi-addrForbidOk, 103k/23GForbidAllow
LB+data+fri-wsi-rfi-ctrlForbidOk, 105k/23GForbidAllow
LB+data+fri-wsi-rfi-dataForbidOk, 113k/23GForbidAllow
LB+data+pos-fri-rfi-addrForbidOk, 103k/26GForbidAllow
LB+data+pos-fri-rfi-ctrlForbidOk, 115k/26GForbidAllow
LB+data+pos-fri-rfi-dataForbidOk, 113k/26GForbidAllow
MP+dmb+fri-rfi-addr-rfiForbidOk, 393k/23GForbidAllow
MP+dmb+fri-rfi-data-rfiForbidOk, 394k/23GForbidAllow
MP+dmb+fri-rfi-pos-ctrlisbForbidOk, 50k/95GForbidAllow
MP+dmb+fri-wsi-rfi-ctrlisbForbidOk, 86k/122GForbidAllow
MP+dmb+pos-fri-rfi-ctrlisbForbidOk, 65k/97GForbidAllow
S+PPO169ForbidOk, 726/63GForbidAllow
S+PPO452ForbidOk, 68/63GForbidAllow
S+PPO735ForbidOk, 841/63GForbidAllow
S+dmb+fri-rfi-addr-addrForbidOk, 17k/23GForbidAllow
S+dmb+fri-rfi-addr-dataForbidOk, 22k/23GForbidAllow
S+dmb+fri-rfi-addr-friForbidOk, 751k/23GForbidAllow
S+dmb+fri-rfi-pos-addrForbidOk, 357k/23GForbidAllow
S+dmb+fri-rfi-pos-dataForbidOk, 355k/23GForbidAllow
S+dmb+pos-fri-rfi-addrForbidOk, 367k/23GForbidAllow
S+dmb+pos-fri-rfi-ctrlForbidOk, 357k/23GForbidAllow
S+dmb+pos-fri-rfi-dataForbidOk, 365k/23GForbidAllow
2+2INC+dmb.stsForbidOk, 1.5G/44GAllowAllow
LB+PPO0028ForbidOk, 5.2k/63GForbidAllow
LB+PPO0108ForbidOk, 3.3k/63GForbidAllow
LB+PPO0268ForbidOk, 2.5k/63GForbidAllow
LB+data+data-wsi-rfi-addr-poForbidOk, 3.3k/23GForbidAllow
LB+data+data-wsi-rfi-addr-po001ForbidOk, 2.4k/23GForbidAllow
LB+data+data-wsi-rfi-ctrl-poForbidOk, 2.4k/23GForbidAllow
LB+data+pos-fri-rfi-addr-poForbidOk, 230k/26GForbidAllow
LB+data+pos-fri-rfi-addr-po001ForbidOk, 146k/26GForbidAllow
LB+data+pos-fri-rfi-ctrl-poForbidOk, 156k/23GForbidAllow
MP+PPO551ForbidOk, 54/63GForbidAllow
MP+PPO735ForbidOk, 65/63GForbidAllow
MP+dmb+fri-rfi-addr-addr-rfiForbidOk, 57k/25GForbidAllow
MP+dmb+fri-rfi-addr-fri-rfiForbidOk, 542k/25GForbidAllow
MP+dmb+fri-rfi-data-rfi-posForbidOk, 161k/23GForbidAllow
MP+dmb+fri-rfi-pos-addr-rfiForbidOk, 170k/23GForbidAllow
MP+dmb+fri-rfi-pos-ctrl-rfiForbidOk, 155k/23GForbidAllow
MP+dmb+fri-rfi-pos-data-rfiForbidOk, 150k/23GForbidAllow
MP+dmb+pos-fri-rfi-addr-rfiForbidOk, 175k/23GForbidAllow
MP+dmb+pos-fri-rfi-ctrl-rfiForbidOk, 157k/23GForbidAllow
MP+dmb+pos-fri-rfi-data-rfiForbidOk, 167k/23GForbidAllow
S+PPO880ForbidOk, 165k/63GForbidAllow
S+dmb+data-wsi-rfi-addr-friForbidOk, 105k/23GForbidAllow
S+dmb+fri-rfi-addr-pos-addrForbidOk, 800k/23GForbidAllow
S+dmb+fri-rfi-addr-pos-ctrlForbidOk, 266k/23GForbidAllow
S+dmb+fri-rfi-addr-pos-dataForbidOk, 78k/25GForbidAllow
S+dmb+fri-rfi-addr-pos-friForbidOk, 1.4M/23GForbidAllow
S+dmb+fri-rfi-ctrl-rfi-addrForbidOk, 36k/23GForbidAllow
S+dmb+fri-rfi-ctrl-rfi-ctrlForbidOk, 36k/23GForbidAllow
S+dmb+fri-rfi-ctrl-rfi-dataForbidOk, 38k/23GForbidAllow
S+dmb+fri-rfi-data-rfi-addrForbidOk, 38k/23GForbidAllow
S+dmb+fri-rfi-data-rfi-ctrlForbidOk, 36k/23GForbidAllow
S+dmb+fri-rfi-data-rfi-dataForbidOk, 38k/23GForbidAllow
S+dmb+fri-rfi-pos-addr-addrForbidOk, 13k/23GForbidAllow
S+dmb+fri-rfi-pos-addr-ctrlForbidOk, 25k/23GForbidAllow
S+dmb+fri-rfi-pos-addr-friForbidOk, 525k/23GForbidAllow
S+dmb+fri-wsi-rfi-addrForbidOk, 3.7M/24GForbidAllow
S+dmb+fri-wsi-rfi-ctrlForbidOk, 3.4M/24GForbidAllow
S+dmb+fri-wsi-rfi-dataForbidOk, 3.4M/24GForbidAllow
S+dmb+pos-fri-rfi-addr-addrForbidOk, 19k/25GForbidAllow
S+dmb+pos-fri-rfi-addr-ctrlForbidOk, 32k/23GForbidAllow
S+dmb+pos-fri-rfi-addr-dataForbidOk, 36k/25GForbidAllow
S+dmb+pos-fri-rfi-addr-friForbidOk, 590k/25GForbidAllow
S+dmb+pos-fri-rfi-pos-ctrlForbidOk, 161k/23GForbidAllow
S+dmb+pos-fri-rfi-pos-dataForbidOk, 157k/23GForbidAllow
LB+PPO0316ForbidOk, 353/63GForbidAllow
LB+PPO0370ForbidOk, 3.2k/63GForbidAllow
LB+PPO0397ForbidOk, 789/63GForbidAllow
LB+PPO0451ForbidOk, 3.3k/63GForbidAllow
LB+PPO0508ForbidOk, 703/63GForbidAllow
LB+PPO0547ForbidOk, 6.4k/63GForbidAllow
LB+data+data-wsi-rfi-addr-fri-poForbidOk, 1.0k/23GForbidAllow
LB+data+data-wsi-rfi-addr-pos-poForbidOk, 23k/23GForbidAllow
LB+data+data-wsi-rfi-addr-rfi-poForbidOk, 690/23GForbidAllow
LB+data+data-wsi-rfi-addr-wsi-poForbidOk, 466/23GForbidAllow
LB+data+data-wsi-rfi-ctrl-wsi-poForbidOk, 2.4k/23GForbidAllow
LB+data+data-wsi-rfi-pos-addr-poForbidOk, 961/23GForbidAllow
LB+data+data-wsi-rfi-pos-addr-po001ForbidOk, 419/23GForbidAllow
LB+data+pos-data-wsi-rfi-addr-poForbidOk, 11k/23GForbidAllow
LB+data+pos-data-wsi-rfi-addr-po001ForbidOk, 2.8k/23GForbidAllow
LB+data+pos-data-wsi-rfi-ctrl-poForbidOk, 2.5k/23GForbidAllow
LB+data+pos-fri-rfi-addr-addr-poForbidOk, 18k/26GForbidAllow
LB+data+pos-fri-rfi-addr-ctrl-poForbidOk, 24k/23GForbidAllow
LB+data+pos-fri-rfi-addr-data-poForbidOk, 39k/23GForbidAllow
LB+data+pos-fri-rfi-addr-fri-poForbidOk, 133k/26GForbidAllow
LB+data+pos-fri-rfi-addr-pos-poForbidOk, 926k/23GForbidAllow
LB+data+pos-fri-rfi-addr-rfi-poForbidOk, 124k/23GForbidAllow
LB+data+pos-fri-rfi-addr-wsi-poForbidOk, 121k/25GForbidAllow
LB+data+pos-fri-rfi-ctrl-rfi-poForbidOk, 110k/23GForbidAllow
LB+data+pos-fri-rfi-ctrl-wsi-poForbidOk, 116k/23GForbidAllow
LB+data+pos-fri-rfi-pos-addr-poForbidOk, 159k/26GForbidAllow
LB+data+pos-fri-rfi-pos-ctrl-poForbidOk, 116k/26GForbidAllow
MP+PPO890ForbidOk, 72/48GForbidAllow
MP+dmb+data-wsi-rfi-addr-fri-rfiForbidOk, 68k/23GForbidAllow
MP+dmb+fri-rfi-addr-ctrl-rfi-posForbidOk, 15k/23GForbidAllow
MP+dmb+fri-rfi-addr-fri-rfi-posForbidOk, 754k/23GForbidAllow
MP+dmb+fri-rfi-addr-pos-ctrl-rfiForbidOk, 251k/23GForbidAllow
MP+dmb+fri-rfi-addr-pos-data-rfiForbidOk, 363k/23GForbidAllow
MP+dmb+fri-rfi-addr-pos-fri-rfiForbidOk, 2.0M/23GForbidAllow
MP+dmb+fri-rfi-addr-rfi-ctrl-rfiForbidOk, 35k/23GForbidAllow
MP+dmb+fri-rfi-addr-rfi-data-rfiForbidOk, 35k/23GForbidAllow
MP+dmb+fri-rfi-ctrl-rfi-addr-rfiForbidOk, 38k/23GForbidAllow
MP+dmb+fri-rfi-ctrl-rfi-data-rfiForbidOk, 29k/23GForbidAllow
MP+dmb+fri-rfi-data-rfi-addr-rfiForbidOk, 36k/23GForbidAllow
MP+dmb+fri-rfi-data-rfi-ctrl-rfiForbidOk, 27k/23GForbidAllow
MP+dmb+fri-rfi-pos-addr-addr-rfiForbidOk, 82k/23GForbidAllow
MP+dmb+fri-rfi-pos-addr-data-rfiForbidOk, 17k/23GForbidAllow
MP+dmb+fri-rfi-pos-addr-fri-rfiForbidOk, 780k/23GForbidAllow
MP+dmb+fri-rfi-pos-data-rfi-posForbidOk, 330k/23GForbidAllow
MP+dmb+pos-data-wsi-rfi-addr-rfiForbidOk, 347/23GForbidAllow
MP+dmb+pos-fri-rfi-addr-fri-rfiForbidOk, 832k/23GForbidAllow
MP+dmb+pos-fri-rfi-ctrl-rfi-posForbidOk, 328k/25GForbidAllow
MP+dmb+pos-fri-rfi-pos-addr-rfiForbidOk, 333k/23GForbidAllow
MP+dmb+pos-fri-rfi-pos-data-rfiForbidOk, 326k/23GForbidAllow
S+PPO654ForbidOk, 13/63GForbidAllow
S+PPO714ForbidOk, 28/63GForbidAllow
S+dmb+data-wsi-rfi-addr-pos-friForbidOk, 218k/23GForbidAllow
S+dmb+fri-rfi-addr-ctrl-rfi-ctrlForbidOk, 5.6k/23GForbidAllow
S+dmb+fri-rfi-addr-ctrl-rfi-dataForbidOk, 5.9k/23GForbidAllow
S+dmb+fri-rfi-addr-data-rfi-addrForbidOk, 3.0k/23GForbidAllow
S+dmb+fri-rfi-addr-data-rfi-ctrlForbidOk, 5.2k/23GForbidAllow
S+dmb+fri-rfi-addr-fri-rfi-addrForbidOk, 30k/23GForbidAllow
S+dmb+fri-rfi-addr-fri-rfi-ctrlForbidOk, 29k/23GForbidAllow
S+dmb+fri-rfi-addr-fri-rfi-dataForbidOk, 28k/25GForbidAllow
S+dmb+fri-rfi-addr-rfi-addr-ctrlForbidOk, 3.2k/23GForbidAllow
S+dmb+fri-rfi-addr-rfi-pos-addrForbidOk, 2.8M/23GForbidAllow
S+dmb+fri-rfi-addr-rfi-pos-ctrlForbidOk, 2.6M/25GForbidAllow
S+dmb+fri-rfi-addr-rfi-pos-dataForbidOk, 2.7M/25GForbidAllow
S+dmb+fri-rfi-addr-wsi-rfi-addrForbidOk, 23k/23GForbidAllow
S+dmb+fri-rfi-addr-wsi-rfi-ctrlForbidOk, 28k/23GForbidAllow
S+dmb+fri-rfi-addr-wsi-rfi-dataForbidOk, 29k/23GForbidAllow
S+dmb+fri-rfi-ctrl-rfi-addr-addrForbidOk, 2.2k/23GForbidAllow
S+dmb+fri-rfi-ctrl-rfi-addr-ctrlForbidOk, 3.9k/23GForbidAllow
S+dmb+fri-rfi-ctrl-rfi-addr-dataForbidOk, 3.8k/25GForbidAllow
S+dmb+fri-rfi-ctrl-rfi-pos-dataForbidOk, 27k/23GForbidAllow
S+dmb+fri-rfi-ctrl-wsi-rfi-ctrlForbidOk, 26k/23GForbidAllow
S+dmb+fri-rfi-ctrl-wsi-rfi-dataForbidOk, 29k/23GForbidAllow
S+dmb+fri-rfi-data-rfi-addr-addrForbidOk, 2.0k/23GForbidAllow
S+dmb+fri-rfi-data-rfi-addr-ctrlForbidOk, 3.4k/23GForbidAllow
S+dmb+fri-rfi-data-rfi-addr-dataForbidOk, 2.9k/23GForbidAllow
S+dmb+fri-rfi-data-rfi-addr-friForbidOk, 119k/25GForbidAllow
S+dmb+fri-rfi-data-rfi-pos-ctrlForbidOk, 27k/23GForbidAllow
S+dmb+fri-rfi-data-wsi-rfi-addrForbidOk, 28k/23GForbidAllow
S+dmb+fri-rfi-data-wsi-rfi-ctrlForbidOk, 26k/23GForbidAllow
S+dmb+fri-rfi-data-wsi-rfi-dataForbidOk, 31k/23GForbidAllow
S+dmb+fri-rfi-pos-addr-pos-addrForbidOk, 207k/23GForbidAllow
S+dmb+fri-rfi-pos-addr-pos-friForbidOk, 1.9M/23GForbidAllow
S+dmb+fri-rfi-pos-addr-rfi-addrForbidOk, 33k/23GForbidAllow
S+dmb+fri-rfi-pos-addr-rfi-ctrlForbidOk, 28k/23GForbidAllow
S+dmb+fri-rfi-pos-addr-rfi-dataForbidOk, 27k/23GForbidAllow
S+dmb+fri-rfi-pos-ctrl-rfi-addrForbidOk, 25k/23GForbidAllow
S+dmb+fri-rfi-pos-ctrl-rfi-ctrlForbidOk, 27k/23GForbidAllow
S+dmb+fri-rfi-pos-ctrl-rfi-dataForbidOk, 27k/23GForbidAllow
S+dmb+fri-rfi-pos-data-rfi-dataForbidOk, 26k/23GForbidAllow
S+dmb+pos-data-wsi-rfi-addr-friForbidOk, 67k/23GForbidAllow
S+dmb+pos-fri-rfi-addr-pos-addrForbidOk, 220k/23GForbidAllow
S+dmb+pos-fri-rfi-addr-pos-ctrlForbidOk, 238k/23GForbidAllow
S+dmb+pos-fri-rfi-addr-pos-dataForbidOk, 349k/25GForbidAllow
S+dmb+pos-fri-rfi-addr-pos-friForbidOk, 1.9M/25GForbidAllow
S+dmb+pos-fri-rfi-addr-rfi-addrForbidOk, 52k/23GForbidAllow
S+dmb+pos-fri-rfi-addr-rfi-dataForbidOk, 42k/23GForbidAllow
S+dmb+pos-fri-rfi-ctrl-rfi-addrForbidOk, 29k/23GForbidAllow
S+dmb+pos-fri-rfi-ctrl-rfi-ctrlForbidOk, 29k/23GForbidAllow
S+dmb+pos-fri-rfi-data-rfi-addrForbidOk, 28k/23GForbidAllow
S+dmb+pos-fri-rfi-data-rfi-ctrlForbidOk, 29k/25GForbidAllow
S+dmb+pos-fri-rfi-pos-addr-dataForbidOk, 28k/23GForbidAllow
S+dmb+pos-fri-rfi-pos-addr-friForbidOk, 773k/25GForbidAllow
WRR+2W+addr+dmbForbidOk, 1/23GForbidForbid
WRR+2W+addr+dmb.stForbidOk, 1/23GForbidForbid
WRR+2W+ctrlisb+dmbForbidOk, 5/23GForbidForbid
WRR+2W+ctrlisb+dmb.stForbidOk, 2/23GForbidForbid
WRR+2W+ctrlisb+dsb.stForbidOk, 6/23GForbidForbid
DETOUR0661ForbidOk, 1/20GForbidForbid
DETOUR0687ForbidOk, 42/22GForbidForbid
ISA2+dmb+fri+addrForbidOk, 3/41GForbidForbid
MP+dmb+pos-ctrlisb+BISForbidOk, 82/37GForbidForbid
DETOUR0689ForbidOk, 29/22GForbidForbid
LB+data+fri-detw-addrForbidOk, 74k/6.2GForbidAllow
LB+data+fri-detw-ctrlForbidOk, 71k/6.2GForbidAllow
LB+data+fri-detw-dataForbidOk, 69k/6.3GForbidAllow
MOREDETOUR0457ForbidOk, 1/19GForbidForbid
MOREDETOUR0458ForbidOk, 2/16GForbidForbid
MOREDETOUR0785ForbidOk, 8/16GForbidForbid
MP+dmb+fri-rfi-ctrlisb+BISForbidOk, 29/24GForbidAllow
LB+data+detr-fri-rfi-addrForbidOk, 199k/6.5GForbidAllow
LB+data+detr-fri-rfi-ctrlForbidOk, 177k/6.5GForbidAllow
LB+data+detr-fri-rfi-dataForbidOk, 184k/6.5GForbidAllow
MOREDETOUR0058ForbidOk, 2/18GForbidForbid
MOREDETOUR0121ForbidOk, 81k/12GForbidAllow
MOREDETOUR0129ForbidOk, 76k/12GForbidAllow
MOREDETOUR0137ForbidOk, 76k/12GForbidAllow
MOREDETOUR0451ForbidOk, 13/13GForbidAllow
MOREDETOUR0714ForbidOk, 35k/12GForbidAllow
MOREDETOUR0722ForbidOk, 29k/12GForbidAllow
MOREDETOUR0730ForbidOk, 32k/12GForbidAllow
LB+data+detrw-rfi-addrForbidOk, 70k/4.6GForbidAllow
LB+data+detrw-rfi-ctrlForbidOk, 67k/4.7GForbidAllow
LB+data+detrw-rfi-dataForbidOk, 68k/4.7GForbidAllow
MOREDETOUR0185ForbidOk, 1/16GForbidForbid
Previous Up