I want to validate the arm atomic instructions in an octa core system LDADD,STADD. Is there any litmus test available to test the functionality?
Not quite what you asked for, by have you seen the memory model tool?Memory Model Tool – Arm Developer