Previous Up Next

Comparison with herd ARM model

Comparison applies to all behaviours. However notice that behaviours that could result from the occurrence of Read after Read hazard anomaly have been removed from the hardware logs.

More behaviours

There are 60 such tests
 KindFlowingARM-ModelModelQOpHardware
S+dmb+data-wsiAllowAllowForbidForbidForbid—No, 0/190G
       Allow unseen
DETOUR0692AllowAllowForbidForbidForbidForbidNo, 0/135G
       Allow unseen
S+dmb+data-wsi+LOCALAllowAllowForbidForbidForbid—No, 0/176G
       Allow unseen
DETOUR1157AllowAllowForbidForbidForbidForbidNo, 0/69G
       Allow unseen
DETOUR1291AllowAllowForbidForbidForbidForbidNo, 0/69G
       Allow unseen
S+dmb+data-wsi+LOCALDMBAllowAllowForbidForbidForbid—No, 0/176G
       Allow unseen
DETOUR0706AllowAllowForbidForbidForbidForbidNo, 0/69G
       Allow unseen
DETOUR1171AllowAllowForbidForbidForbidForbidNo, 0/69G
       Allow unseen
S+dmb+data-wsi-rfi-fri+LOCALAllowAllowForbidForbidForbid—No, 0/134G
       Allow unseen
S+dmb+data-wsi-rfi-fri+LOCALDMBAllowAllowForbidForbidForbid—No, 0/145G
       Allow unseen
DETOUR0661AllowAllowForbidForbidForbidForbidNo, 0/20G
       Allow unseen
MP+dmb+[fr-rf]-addrAllowAllowForbidForbidForbid—No, 0/1.4G
       Allow unseen
DETOUR0229AllowAllowForbidForbidForbidForbidNo, 0/7.3G
       Allow unseen
DETOUR0255AllowAllowForbidForbidForbidForbidNo, 0/7.2G
       Allow unseen
DETOUR0281AllowAllowForbidForbidForbidForbidNo, 0/7.3G
       Allow unseen
DETOUR0654AllowAllowForbidForbidForbidForbidNo, 0/5.6G
       Allow unseen
DETOUR0659AllowAllowForbidForbidForbidForbidNo, 0/7.6G
       Allow unseen
DETOUR0663AllowAllowForbidForbidForbidForbidNo, 0/17G
       Allow unseen
DETOUR0685AllowAllowForbidForbidForbidForbidNo, 0/7.7G
       Allow unseen
DETOUR0711AllowAllowForbidForbidForbidForbidNo, 0/11G
       Allow unseen
DETOUR0759AllowAllowForbidForbidForbidForbidNo, 0/17G
       Allow unseen
DETOUR0780AllowAllowForbidForbidForbidForbidNo, 0/17G
       Allow unseen
DETOUR1098AllowAllowForbidForbidForbidForbidNo, 0/7.9G
       Allow unseen
DETOUR1124AllowAllowForbidForbidForbidForbidNo, 0/8.2G
       Allow unseen
DETOUR1150AllowAllowForbidForbidForbidForbidNo, 0/8.1G
       Allow unseen
DETOUR1163AllowAllowForbidForbidForbidForbidNo, 0/17G
       Allow unseen
LB+data+fri-detw-addrAllowAllowForbidForbidForbidForbidNo, 0/6.7G
       Allow unseen
LB+data+fri-detw-ctrlAllowAllowForbidForbidForbidForbidNo, 0/6.7G
       Allow unseen
LB+data+fri-detw-dataAllowAllowForbidForbidForbidForbidNo, 0/6.8G
       Allow unseen
MP+dmb+fri-rfi-ctrlisb+BISAllowAllowForbidForbidForbidForbidNo, 0/25G
       Allow unseen
DETOUR0222AllowAllowForbidForbidForbidForbidNo, 0/7.2G
       Allow unseen
DETOUR0248AllowAllowForbidForbidForbidForbidNo, 0/7.2G
       Allow unseen
DETOUR0274AllowAllowForbidForbidForbidForbidNo, 0/7.2G
       Allow unseen
DETOUR0653AllowAllowForbidForbidForbidForbidNo, 0/7.4G
       Allow unseen
DETOUR0678AllowAllowForbidForbidForbidForbidNo, 0/7.5G
       Allow unseen
DETOUR1091AllowAllowForbidForbidForbidForbidNo, 0/7.6G
       Allow unseen
DETOUR1117AllowAllowForbidForbidForbidForbidNo, 0/7.6G
       Allow unseen
DETOUR1143AllowAllowForbidForbidForbidForbidNo, 0/7.5G
       Allow unseen
DETOUR1292AllowAllowForbidForbidForbid—No, 0/17G
       Allow unseen
LB+data+detr-fri-rfi-addrAllowAllowForbidForbidForbidForbidNo, 0/7.0G
       Allow unseen
LB+data+detr-fri-rfi-ctrlAllowAllowForbidForbidForbidForbidNo, 0/7.0G
       Allow unseen
LB+data+detr-fri-rfi-dataAllowAllowForbidForbidForbidForbidNo, 0/7.0G
       Allow unseen
MOREDETOUR0121AllowAllowForbidForbidForbidForbidNo, 0/13G
       Allow unseen
MOREDETOUR0129AllowAllowForbidForbidForbidForbidNo, 0/13G
       Allow unseen
MOREDETOUR0137AllowAllowForbidForbidForbidForbidNo, 0/13G
       Allow unseen
MOREDETOUR0443AllowAllowForbidForbidForbidForbidNo, 0/13G
       Allow unseen
MOREDETOUR0451AllowAllowForbidForbidForbidForbidNo, 0/13G
       Allow unseen
MOREDETOUR0714AllowAllowForbidForbidForbidForbidNo, 0/13G
       Allow unseen
MOREDETOUR0722AllowAllowForbidForbidForbidForbidNo, 0/13G
       Allow unseen
MOREDETOUR0730AllowAllowForbidForbidForbidForbidNo, 0/13G
       Allow unseen
MOREDETOUR0833AllowAllowForbidForbidForbid—No, 0/13G
       Allow unseen
DETOUR0418AllowAllowForbidForbidForbid—No, 0/0
       Allow unseen
DETOUR0439AllowAllowForbidForbidForbid—No, 0/0
       Allow unseen
LB+data+detrw-rfi-addrAllowAllowForbidForbidForbidForbidNo, 0/5.0G
       Allow unseen
LB+data+detrw-rfi-ctrlAllowAllowForbidForbidForbidForbidNo, 0/5.1G
       Allow unseen
LB+data+detrw-rfi-dataAllowAllowForbidForbidForbidForbidNo, 0/5.1G
       Allow unseen
MOREDETOUR0744AllowAllowForbidForbidForbid—No, 0/13G
       Allow unseen
MOREDETOUR0835AllowAllowForbidForbidForbid—No, 0/12G
       Allow unseen
MOREDETOUR0846AllowAllowForbidForbidForbid—No, 0/13G
       Allow unseen
S+dmb+detr-fri-rfi-dataAllowAllowForbidForbidForbid—No, 0/7.1G
       Allow unseen

Less behaviours

There are 7 such tests
 KindFlowingARM-ModelModelQOpHardware
MOREDETOUR0240AllowForbidAllowForbidForbidForbidNo, 0/28G
       Allow unseen
LB+data+data-detww+LOCALAllowForbidAllowForbidForbid—No, 0/104G
       Allow unseen
MOREDETOUR0242AllowForbidAllowForbidForbidForbidNo, 0/12G
       Allow unseen
MOREDETOUR0253AllowForbidAllowForbidForbidForbidNo, 0/16G
       Allow unseen
MOREDETOUR0354AllowForbidAllowForbidForbidForbidNo, 0/16G
       Allow unseen
MOREDETOUR0151AllowForbidAllowForbidForbid—No, 0/12G
       Allow unseen
MOREDETOUR0186AllowForbidAllowForbidForbidForbidNo, 0/16G
       Allow unseen
Previous Up Next