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.

There are 97 such tests

	Kind	Lazy	ARM-Model	Model	Q	Op	Pop	Flowing	Hardware
S+dmb+data-wsi	Allow	Allow	Forbid	Forbid	Forbid	—	Allow	Allow	No, 0/190G
									Allow unseen
DETOUR0692	Allow	Allow	Forbid	Forbid	Forbid	Forbid	Allow	Allow	No, 0/135G
									Allow unseen
S+dmb+data-wsi+LOCAL	Allow	Allow	Forbid	Forbid	Forbid	—	Allow	Allow	No, 0/176G
									Allow unseen
DETOUR1157	Allow	Allow	Forbid	Forbid	Forbid	Forbid	Allow	Allow	No, 0/69G
									Allow unseen
DETOUR1291	Allow	Allow	Forbid	Forbid	Forbid	Forbid	Allow	Allow	No, 0/69G
									Allow unseen
S+dmb+data-wsi+LOCALDMB	Allow	Allow	Forbid	Forbid	Forbid	—	Allow	Allow	No, 0/176G
									Allow unseen
DETOUR0706	Allow	Allow	Forbid	Forbid	Forbid	Forbid	Allow	Allow	No, 0/69G
									Allow unseen
DETOUR1171	Allow	Allow	Forbid	Forbid	Forbid	Forbid	Allow	Allow	No, 0/69G
									Allow unseen
S+dmb+data-wsi-rfi-fri+LOCAL	Allow	Allow	Forbid	Forbid	Forbid	—	Allow	Allow	No, 0/134G
									Allow unseen
S+dmb+data-wsi-rfi-fri+LOCALDMB	Allow	Allow	Forbid	Forbid	Forbid	—	Allow	Allow	No, 0/145G
									Allow unseen
DETOUR0661	Allow	Allow	Forbid	Forbid	Forbid	Forbid	Allow	Allow	No, 0/20G
									Allow unseen
DETOUR0229	Allow	Allow	Forbid	Forbid	Forbid	Forbid	Allow	Allow	No, 0/7.3G
									Allow unseen
DETOUR0255	Allow	Allow	Forbid	Forbid	Forbid	Forbid	Allow	Allow	No, 0/7.2G
									Allow unseen
DETOUR0281	Allow	Allow	Forbid	Forbid	Forbid	Forbid	Allow	Allow	No, 0/7.3G
									Allow unseen
DETOUR0654	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/5.6G
									Allow unseen
DETOUR0659	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/7.6G
									Allow unseen
DETOUR0663	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/17G
									Allow unseen
DETOUR0685	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/7.7G
									Allow unseen
DETOUR0711	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/11G
									Allow unseen
DETOUR0759	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/17G
									Allow unseen
DETOUR0780	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/17G
									Allow unseen
DETOUR1098	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/7.9G
									Allow unseen
DETOUR1124	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/8.2G
									Allow unseen
DETOUR1150	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/8.1G
									Allow unseen
DETOUR1163	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/17G
									Allow unseen
LB+data+fri-detw-addr	Allow	Allow	Forbid	Forbid	Forbid	Forbid	Allow	Allow	No, 0/6.7G
									Allow unseen
LB+data+fri-detw-ctrl	Allow	Allow	Forbid	Forbid	Forbid	Forbid	Allow	Allow	No, 0/6.7G
									Allow unseen
LB+data+fri-detw-data	Allow	Allow	Forbid	Forbid	Forbid	Forbid	Allow	Allow	No, 0/6.8G
									Allow unseen
MP+dmb+fri-rfi-ctrlisb+BIS	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/25G
									Allow unseen
DETOUR0222	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/7.2G
									Allow unseen
DETOUR0248	Allow	Allow	Forbid	Forbid	Forbid	Forbid	Allow	Allow	No, 0/7.2G
									Allow unseen
DETOUR0274	Allow	Allow	Forbid	Forbid	Forbid	Forbid	Allow	Allow	No, 0/7.2G
									Allow unseen
DETOUR0653	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/7.4G
									Allow unseen
DETOUR0678	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/7.5G
									Allow unseen
DETOUR0800	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/17G
									Allow unseen
DETOUR0837	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/0
									Allow unseen
DETOUR0843	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/17G
									Allow unseen
DETOUR0844	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/17G
									Allow unseen
DETOUR1091	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/7.6G
									Allow unseen
DETOUR1117	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/7.6G
									Allow unseen
DETOUR1143	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/7.5G
									Allow unseen
DETOUR1292	Allow	Allow	Forbid	Forbid	Forbid	—	—	Allow	No, 0/17G
									Allow unseen
LB+data+detr-fri-rfi-addr	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/7.0G
									Allow unseen
LB+data+detr-fri-rfi-ctrl	Allow	Allow	Forbid	Forbid	Forbid	Forbid	Allow	Allow	No, 0/7.0G
									Allow unseen
LB+data+detr-fri-rfi-data	Allow	Allow	Forbid	Forbid	Forbid	Forbid	Allow	Allow	No, 0/7.0G
									Allow unseen
MOREDETOUR0121	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/13G
									Allow unseen
MOREDETOUR0129	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/13G
									Allow unseen
MOREDETOUR0137	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/13G
									Allow unseen
MOREDETOUR0443	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/13G
									Allow unseen
MOREDETOUR0451	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/13G
									Allow unseen
MOREDETOUR0714	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/13G
									Allow unseen
MOREDETOUR0722	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/13G
									Allow unseen
MOREDETOUR0730	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/13G
									Allow unseen
MOREDETOUR0833	Allow	Allow	Forbid	Forbid	Forbid	—	—	Allow	No, 0/13G
									Allow unseen
DETOUR0397	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/0
									Allow unseen
DETOUR0418	Allow	Allow	Forbid	Forbid	Forbid	—	—	Allow	No, 0/0
									Allow unseen
DETOUR0439	Allow	Allow	Forbid	Forbid	Forbid	—	—	Allow	No, 0/0
									Allow unseen
DETOUR0835	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/0
									Allow unseen
DETOUR0854	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/0
									Allow unseen
DETOUR1231	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/0
									Allow unseen
DETOUR1252	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/0
									Allow unseen
DETOUR1273	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/0
									Allow unseen
LB+data+detrw-rfi-addr	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/5.0G
									Allow unseen
LB+data+detrw-rfi-ctrl	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/5.1G
									Allow unseen
LB+data+detrw-rfi-data	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	Allow	No, 0/5.1G
									Allow unseen
MOREDETOUR0465	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/13G
									Allow unseen
MOREDETOUR0744	Allow	Allow	Forbid	Forbid	Forbid	—	—	Allow	No, 0/13G
									Allow unseen
MOREDETOUR0835	Allow	Allow	Forbid	Forbid	Forbid	—	—	Allow	No, 0/12G
									Allow unseen
MOREDETOUR0846	Allow	Allow	Forbid	Forbid	Forbid	—	—	Allow	No, 0/13G
									Allow unseen
MOREDETOUR0939	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/13G
									Allow unseen
S+dmb+detr-fri-rfi-data	Allow	Allow	Forbid	Forbid	Forbid	—	—	Allow	No, 0/7.1G
									Allow unseen
LB+data+detrw-wsi-rfi-addr	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/5.0G
									Allow unseen
LB+data+detrw-wsi-rfi-ctrl	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/5.1G
									Allow unseen
LB+data+detrw-wsi-rfi-data	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/5.1G
									Allow unseen
MOREDETOUR0122	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/3.1G
									Allow unseen
MOREDETOUR0130	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/3.3G
									Allow unseen
MOREDETOUR0138	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/3.3G
									Allow unseen
MOREDETOUR0452	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/3.5G
									Allow unseen
MOREDETOUR0715	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/3.5G
									Allow unseen
MOREDETOUR0723	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/3.7G
									Allow unseen
MOREDETOUR0731	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/3.6G
									Allow unseen
MOREDETOUR0779	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/13G
									Allow unseen
DETOUR0808	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/17G
									Allow unseen
DETOUR0846	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/17G
									Allow unseen
MOREDETOUR0788	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/19G
									Allow unseen
LB+data+detrw-detw-addr	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/3.8G
									Allow unseen
LB+data+detrw-detw-ctrl	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/3.9G
									Allow unseen
LB+data+detrw-detw-data	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/3.9G
									Allow unseen
MOREDETOUR0126	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/2.0G
									Allow unseen
MOREDETOUR0134	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/2.1G
									Allow unseen
MOREDETOUR0142	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/2.1G
									Allow unseen
MOREDETOUR0456	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/2.1G
									Allow unseen
MOREDETOUR0507	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/12G
									Allow unseen
MOREDETOUR0719	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/2.2G
									Allow unseen
MOREDETOUR0727	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/2.3G
									Allow unseen
MOREDETOUR0735	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/2.3G
									Allow unseen
MOREDETOUR0837	Allow	Allow	Forbid	Forbid	Forbid	—	—	—	No, 0/13G
									Allow unseen

Comparison with herd ARM model

More behaviours

Less behaviours