Previous Up

Comparison with ARM hardware

Invalid behaviours

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.

There are 41 such tests
 FlowingHardwareModelOpARM-ModelQ
DETOUR0008ForbidOk, 1.0k/65GForbidForbidForbidForbid
LB+PPO0536ForbidOk, 1/65GForbidForbidForbidForbid
LB+data+pos-fri-rfi-addrForbidOk, 103k/29GForbidForbidAllowAllow
LB+data+pos-fri-rfi-ctrlForbidOk, 115k/29GForbidForbidAllowAllow
LB+data+pos-fri-rfi-dataForbidOk, 113k/29GForbidForbidAllowAllow
MP+dmb+pos-fri-rfi-ctrlisbForbidOk, 65k/97GForbidForbidAllowAllow
S+dmb+pos-fri-rfi-addrForbidOk, 367k/27GForbidForbidAllowAllow
S+dmb+pos-fri-rfi-ctrlForbidOk, 357k/26GForbidForbidAllowAllow
S+dmb+pos-fri-rfi-dataForbidOk, 365k/26GForbidForbidAllowAllow
LB+data+pos-fri-rfi-addr-poForbidOk, 230k/26GForbidForbidAllowAllow
LB+data+pos-fri-rfi-addr-po001ForbidOk, 146k/26GForbidForbidAllowAllow
LB+data+pos-fri-rfi-ctrl-poForbidOk, 156k/23GForbidForbidAllowAllow
MP+dmb+pos-fri-rfi-data-rfiForbidOk, 167k/23GForbidForbidAllowAllow
S+dmb+pos-fri-rfi-addr-addrForbidOk, 19k/25GForbidForbidAllowAllow
S+dmb+pos-fri-rfi-addr-ctrlForbidOk, 32k/23GForbidForbidAllowAllow
S+dmb+pos-fri-rfi-addr-dataForbidOk, 36k/25GForbidForbidAllowAllow
S+dmb+pos-fri-rfi-addr-friForbidOk, 590k/25GForbidForbidAllowAllow
S+dmb+pos-fri-rfi-pos-ctrlForbidOk, 161k/23GForbidForbidAllowAllow
LB+data+pos-fri-rfi-addr-addr-poForbidOk, 18k/26GForbidForbidAllowAllow
LB+data+pos-fri-rfi-addr-ctrl-poForbidOk, 24k/23GForbidForbidAllowAllow
LB+data+pos-fri-rfi-addr-data-poForbidOk, 39k/23GForbidForbidAllowAllow
LB+data+pos-fri-rfi-addr-fri-poForbidOk, 133k/26GForbidForbidAllowAllow
LB+data+pos-fri-rfi-addr-rfi-poForbidOk, 124k/23GForbidForbidAllowAllow
LB+data+pos-fri-rfi-addr-wsi-poForbidOk, 121k/25GForbidForbidAllowAllow
LB+data+pos-fri-rfi-ctrl-wsi-poForbidOk, 116k/23GForbidForbidAllowAllow
LB+data+pos-fri-rfi-pos-ctrl-poForbidOk, 116k/26GForbidForbidAllowAllow
S+dmb+pos-fri-rfi-data-rfi-ctrlForbidOk, 29k/25GForbidForbidAllowAllow
WRR+2W+addr+dmbForbidOk, 1/23GForbidForbidForbidForbid
WRR+2W+ctrlisb+dmbForbidOk, 5/23GForbidForbidForbidForbid
DETOUR0661ForbidOk, 1/20GForbidForbidForbidForbid
DETOUR0687ForbidOk, 42/22GForbidForbidForbidForbid
ISA2+dmb+fri+addrForbidOk, 3/41GForbidForbidForbidForbid
MP+dmb+pos-ctrlisb+BISForbidOk, 82/37GForbidForbidForbidForbid
DETOUR0689ForbidOk, 29/22GForbidForbidForbidForbid
MOREDETOUR0785ForbidOk, 8/16GForbidForbidForbidForbid
LB+data+detr-fri-rfi-addrForbidOk, 199k/6.5GForbidForbidAllowAllow
LB+data+detr-fri-rfi-ctrlForbidOk, 177k/6.5GForbidForbidAllowAllow
LB+data+detr-fri-rfi-dataForbidOk, 184k/6.5GForbidForbidAllowAllow
MOREDETOUR0740ForbidOk, 7/16GForbidForbidForbid
MOREDETOUR0185ForbidOk, 1/16GForbidForbidForbidForbid
MOREDETOUR0824ForbidOk, 77/14GForbidForbidForbid

Previous Up