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 22 such tests
 KindPopARM-ModelModelQOpFlowingHardware
S+dmb+data-wsiAllowAllowForbidForbidForbid—AllowNo, 0/190G
        Allow unseen
DETOUR0692AllowAllowForbidForbidForbidForbidAllowNo, 0/135G
        Allow unseen
S+dmb+data-wsi+LOCALAllowAllowForbidForbidForbid—AllowNo, 0/176G
        Allow unseen
DETOUR1157AllowAllowForbidForbidForbidForbidAllowNo, 0/69G
        Allow unseen
DETOUR1291AllowAllowForbidForbidForbidForbidAllowNo, 0/69G
        Allow unseen
S+dmb+data-wsi+LOCALDMBAllowAllowForbidForbidForbid—AllowNo, 0/176G
        Allow unseen
DETOUR0706AllowAllowForbidForbidForbidForbidAllowNo, 0/69G
        Allow unseen
DETOUR1171AllowAllowForbidForbidForbidForbidAllowNo, 0/69G
        Allow unseen
S+dmb+data-wsi-rfi-fri+LOCALAllowAllowForbidForbidForbid—AllowNo, 0/134G
        Allow unseen
S+dmb+data-wsi-rfi-fri+LOCALDMBAllowAllowForbidForbidForbid—AllowNo, 0/145G
        Allow unseen
DETOUR0661AllowAllowForbidForbidForbidForbidAllowNo, 0/20G
        Allow unseen
MP+dmb+[fr-rf]-addrAllowAllowForbidForbidForbid—AllowNo, 0/1.4G
        Allow unseen
DETOUR0229AllowAllowForbidForbidForbidForbidAllowNo, 0/7.3G
        Allow unseen
DETOUR0255AllowAllowForbidForbidForbidForbidAllowNo, 0/7.2G
        Allow unseen
DETOUR0281AllowAllowForbidForbidForbidForbidAllowNo, 0/7.3G
        Allow unseen
LB+data+fri-detw-addrAllowAllowForbidForbidForbidForbidAllowNo, 0/6.7G
        Allow unseen
LB+data+fri-detw-ctrlAllowAllowForbidForbidForbidForbidAllowNo, 0/6.7G
        Allow unseen
LB+data+fri-detw-dataAllowAllowForbidForbidForbidForbidAllowNo, 0/6.8G
        Allow unseen
DETOUR0248AllowAllowForbidForbidForbidForbidAllowNo, 0/7.2G
        Allow unseen
DETOUR0274AllowAllowForbidForbidForbidForbidAllowNo, 0/7.2G
        Allow unseen
LB+data+detr-fri-rfi-ctrlAllowAllowForbidForbidForbidForbidAllowNo, 0/7.0G
        Allow unseen
LB+data+detr-fri-rfi-dataAllowAllowForbidForbidForbidForbidAllowNo, 0/7.0G
        Allow unseen

Less behaviours

There is one such test
 KindPopARM-ModelModelQOpFlowingHardware
MOREDETOUR0240AllowForbidAllowForbidForbidForbidForbidNo, 0/28G
        Allow unseen
Previous Up Next