Previous Up

Comparison with ARM hardware

Invalid behaviours

The following table lists the behaviours that are forbidden by the Flowing model, yet observed on hardware. Comparison applies to behaviours that cannot result from the occurrence of the Read after Read hazard anomaly.

There is no such test

Unseen behaviours

The following table lists the behaviours that are allowed by the Flowing model, yet not observed on hardware.

There are 23 such tests
 FlowingHardwareARM-ModelExp
MP+dmb+poanaAllowNo, 0/4.6GAllowAllow
  Allow unseen  
MP+dmb+poarAllowNo, 0/4.6GForbidAllow
  Allow unseen  
R+dmb+poanaAllowNo, 0/4.6GAllowAllow
  Allow unseen  
R+dmb+poarAllowNo, 0/4.6GForbidAllow
  Allow unseen  
SB+dmb+poanaAllowNo, 0/4.6GAllowAllow
  Allow unseen  
SB+dmb+poarAllowNo, 0/4.6GAllowAllow
  Allow unseen  
2+2W+dmb+poaaAllowNo, 0/4.6GForbidAllow
  Allow unseen  
R+dmb+poaaAllowNo, 0/4.6GForbidAllow
  Allow unseen  
R+poaa+dmbAllowNo, 0/4.6GAllowAllow
  Allow unseen  
SB+dmb+poaaAllowNo, 0/4.6GAllowAllow
  Allow unseen  
MP+poana+poarAllowNo, 0/4.6GAllowAllow
  Allow unseen  
MP+poanasAllowNo, 0/4.6GAllowAllow
  Allow unseen  
R+poana+poarAllowNo, 0/4.6GAllowAllow
  Allow unseen  
R+poanasAllowNo, 0/4.6GAllowAllow
  Allow unseen  
SB+poana+poarAllowNo, 0/4.6GAllowAllow
  Allow unseen  
2+2W+poana+poaaAllowNo, 0/4.6GAllowAllow
  Allow unseen  
MP+poaa+poanaAllowNo, 0/4.6GAllowAllow
  Allow unseen  
MP+poaa+poarAllowNo, 0/4.6GAllowAllow
  Allow unseen  
R+poaa+poanaAllowNo, 0/4.6GAllowAllow
  Allow unseen  
R+poaa+poarAllowNo, 0/4.6GAllowAllow
  Allow unseen  
R+poana+poaaAllowNo, 0/4.6GAllowAllow
  Allow unseen  
SB+poaa+poarAllowNo, 0/4.6GAllowAllow
  Allow unseen  
SB+poana+poaaAllowNo, 0/4.6GAllowAllow
  Allow unseen  
Previous Up