Comparing hardware results with classical models

• Comparing with the SC model
  • Behaviours relaxing SC
  • Behaviours allowed by SC and not observed
• Comparing with the TSO model
  • Behaviours relaxing TSO
  • Behaviours allowed by TSO and not observed