OTAWA supports several instructions sets like ARM, PowerPC, Sparc, TriCore thanks to the GLISS simulator generator.