Up Next

Comparison with herd ARM model

The model of herd is arm-atom.cat.

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 12 such tests
 FlowingARM-ModelExpHardware
MP+dmb+porrAllowForbidAllowOk, 136k/4.6G
LB+data+poraAllowForbidAllowOk, 765/4.6G
MP+dmb+poarAllowForbidAllowNo, 0/4.6G
    Allow unseen
MP+dmb+poraAllowForbidAllowOk, 11k/4.6G
R+dmb+poarAllowForbidAllowNo, 0/4.6G
    Allow unseen
S+dmb+poraAllowForbidAllowOk, 407k/4.6G
2+2W+dmb+poaaAllowForbidAllowNo, 0/4.6G
    Allow unseen
R+dmb+poaaAllowForbidAllowNo, 0/4.6G
    Allow unseen
LB+poana+poraAllowForbidAllowOk, 633k/4.6G
LB+porasAllowForbidAllowOk, 1.3k/4.6G
LB+poaa+poraAllowForbidAllowOk, 16/4.6G
MP+poaa+poraAllowForbidAllowOk, 3/4.6G

Less behaviours

There are 13 such tests
 FlowingARM-ModelExpHardware
2+2W+dmb+poanaForbidAllowAllowNo, 0/4.6G
    Allow unseen
MP+poana+addrForbidAllowAllowNo, 0/4.6G
    Allow unseen
R+poana+dmbForbidAllowAllowNo, 0/4.6G
    Allow unseen
S+poana+dataForbidAllowAllowNo, 0/4.6G
    Allow unseen
MP+poaa+addrForbidAllowAllowNo, 0/4.6G
    Allow unseen
R+poaa+dmbForbidAllowAllowNo, 0/4.6G
    Allow unseen
SB+dmb+poaaForbidAllowAllowNo, 0/4.6G
    Allow unseen
2+2W+poanasForbidAllowAllowNo, 0/4.6G
    Allow unseen
S+poanasForbidAllowAllowNo, 0/4.6G
    Allow unseen
2+2W+poana+poaaForbidAllowAllowNo, 0/4.6G
    Allow unseen
MP+poana+poaaForbidAllowAllowNo, 0/4.6G
    Allow unseen
R+poana+poaaForbidAllowAllowNo, 0/4.6G
    Allow unseen
S+poana+poaaForbidAllowAllowNo, 0/4.6G
    Allow unseen
Up Next