The model of herd is exp-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.
| Flowing | Exp | ARM-Model | Hardware | |
| 2+2W+dmb+poana | Forbid | Allow | Allow | No, 0/4.6G |
| Allow unseen | ||||
| MP+poana+addr | Forbid | Allow | Allow | No, 0/4.6G |
| Allow unseen | ||||
| R+poana+dmb | Forbid | Allow | Allow | No, 0/4.6G |
| Allow unseen | ||||
| S+poana+data | Forbid | Allow | Allow | No, 0/4.6G |
| Allow unseen | ||||
| MP+poaa+addr | Forbid | Allow | Allow | No, 0/4.6G |
| Allow unseen | ||||
| R+poaa+dmb | Forbid | Allow | Allow | No, 0/4.6G |
| Allow unseen | ||||
| S+poaa+data | Forbid | Allow | Forbid | No, 0/4.6G |
| Allow unseen | ||||
| SB+dmb+poaa | Forbid | Allow | Allow | No, 0/4.6G |
| Allow unseen | ||||
| 2+2W+poanas | Forbid | Allow | Allow | No, 0/4.6G |
| Allow unseen | ||||
| S+poanas | Forbid | Allow | Allow | No, 0/4.6G |
| Allow unseen | ||||
| 2+2W+poana+poaa | Forbid | Allow | Allow | No, 0/4.6G |
| Allow unseen | ||||
| MP+poana+poaa | Forbid | Allow | Allow | No, 0/4.6G |
| Allow unseen | ||||
| R+poana+poaa | Forbid | Allow | Allow | No, 0/4.6G |
| Allow unseen | ||||
| S+poaa+poana | Forbid | Allow | Forbid | No, 0/4.6G |
| Allow unseen | ||||
| S+poana+poaa | Forbid | Allow | Allow | No, 0/4.6G |
| Allow unseen |