Previous Up Next

Comparison with herd ARM model

Comparison applies to behaviours that cannot result from the occurrence of the Read after Read hazard anomaly.

More behaviours

There are 20 such tests
 FlowingARM-ModelModelOpHardware
DETOUR0692AllowForbidForbidForbidNo, 0/66G
     Allow unseen
DETOUR1157AllowForbidForbidForbidNo, 0/66G
     Allow unseen
DETOUR1291AllowForbidForbidForbidNo, 0/66G
     Allow unseen
DETOUR0110AllowForbidForbidForbidNo, 0/66G
     Allow unseen
DETOUR0305AllowForbidForbidForbidNo, 0/66G
     Allow unseen
DETOUR0306AllowForbidForbidForbidNo, 0/66G
     Allow unseen
DETOUR0465AllowForbidForbidForbidNo, 0/66G
     Allow unseen
DETOUR0706AllowForbidForbidForbidNo, 0/67G
     Allow unseen
DETOUR1035AllowForbidForbidForbidNo, 0/38G
     Allow unseen
DETOUR1171AllowForbidForbidForbidNo, 0/66G
     Allow unseen
DETOUR1174AllowForbidForbidForbidNo, 0/26G
     Allow unseen
DETOUR1175AllowForbidForbidForbidNo, 0/34G
     Allow unseen
DETOUR1299AllowForbidForbidForbidNo, 0/37G
     Allow unseen
MOREDETOUR0154AllowForbidForbidForbidNo, 0/63G
     Allow unseen
LB+data+fri-rfi-fri-rfi-addr+OKAllowForbidForbidForbidNo, 0/3.5G
     Allow unseen
DETOUR0759AllowForbidForbidForbidNo, 0/17G
     Allow unseen
DETOUR0780AllowForbidForbidForbidNo, 0/17G
     Allow unseen
DETOUR1163AllowForbidForbidForbidNo, 0/17G
     Allow unseen
MOREDETOUR0833AllowForbidForbid—No, 0/13G
     Allow unseen
MOREDETOUR0189AllowForbidForbidForbidNo, 0/7.4G
     Allow unseen

Less behaviours

There are 33 such tests
 FlowingARM-ModelModelOpHardware
LB+data+pos-fri-rfi-addrForbidAllowForbidForbidOk, 103k/29G
LB+data+pos-fri-rfi-ctrlForbidAllowForbidForbidOk, 115k/29G
LB+data+pos-fri-rfi-dataForbidAllowForbidForbidOk, 113k/29G
MP+dmb+pos-fri-rfi-ctrlisbForbidAllowForbidForbidOk, 65k/97G
S+dmb+pos-fri-rfi-addrForbidAllowForbidForbidOk, 367k/27G
S+dmb+pos-fri-rfi-ctrlForbidAllowForbidForbidOk, 357k/26G
S+dmb+pos-fri-rfi-dataForbidAllowForbidForbidOk, 365k/26G
LB+data+pos-fri-rfi-addr-poForbidAllowForbidForbidOk, 230k/26G
LB+data+pos-fri-rfi-addr-po001ForbidAllowForbidForbidOk, 146k/26G
LB+data+pos-fri-rfi-ctrl-poForbidAllowForbidForbidOk, 156k/23G
MP+dmb+pos-fri-rfi-data-rfiForbidAllowForbidForbidOk, 167k/23G
S+dmb+pos-fri-rfi-addr-addrForbidAllowForbidForbidOk, 19k/25G
S+dmb+pos-fri-rfi-addr-ctrlForbidAllowForbidForbidOk, 32k/23G
S+dmb+pos-fri-rfi-addr-dataForbidAllowForbidForbidOk, 36k/25G
S+dmb+pos-fri-rfi-addr-friForbidAllowForbidForbidOk, 590k/25G
S+dmb+pos-fri-rfi-pos-ctrlForbidAllowForbidForbidOk, 161k/23G
LB+data+pos-fri-rfi-addr-addr-poForbidAllowForbidForbidOk, 18k/26G
LB+data+pos-fri-rfi-addr-ctrl-poForbidAllowForbidForbidOk, 24k/23G
LB+data+pos-fri-rfi-addr-data-poForbidAllowForbidForbidOk, 39k/23G
LB+data+pos-fri-rfi-addr-fri-poForbidAllowForbidForbidOk, 133k/26G
LB+data+pos-fri-rfi-addr-rfi-poForbidAllowForbidForbidOk, 124k/23G
LB+data+pos-fri-rfi-addr-wsi-poForbidAllowForbidForbidOk, 121k/25G
LB+data+pos-fri-rfi-ctrl-wsi-poForbidAllowForbidForbidOk, 116k/23G
LB+data+pos-fri-rfi-pos-ctrl-poForbidAllowForbidForbidOk, 116k/26G
S+dmb+pos-fri-rfi-data-rfi-ctrlForbidAllowForbidForbidOk, 29k/25G
MOREDETOUR0240ForbidAllowForbidForbidNo, 0/18G
     Allow unseen
LB+data+data-detww+LOCALForbidAllowForbid—No, 0/1.8G
     Allow unseen
LB+data+detr-fri-rfi-addrForbidAllowForbidForbidOk, 199k/6.5G
LB+data+detr-fri-rfi-ctrlForbidAllowForbidForbidOk, 177k/6.5G
LB+data+detr-fri-rfi-dataForbidAllowForbidForbidOk, 184k/6.5G
MOREDETOUR0253ForbidAllowForbidForbidNo, 0/16G
     Allow unseen
MOREDETOUR0354ForbidAllowForbidForbidNo, 0/16G
     Allow unseen
MOREDETOUR0151ForbidAllowForbid—No, 0/11G
     Allow unseen
Previous Up Next