Fault modeling and test algorithm development for static random access memories | Synapse