Automatic March tests generation for static and dynamic faults in SRAMs