GRAAL: a tool for highly dependable SRAMs generation | IEEE Conference Publication | IEEE Xplore