Exhaustive test of several dependable memory architectures designed by GRAAL tool | IEEE Conference Publication | IEEE Xplore