Formal Modelling, Testing and Verification of HSA Memory Models using Event-B

Ashish Darbari, Iain Singleton, Michael Butler +1

The HSA Foundation has produced the HSA Platform System Architecture Specification that goes a long way towards addressing the need for a clear and consistent method for specifying…