Gating Aware Error Injection. - Eli Arbel; Erez Barak; Bodo Hoppe; Shlomit Koyfman; Udo Krautz; Shiri Moran (Haifa Verification Conference, 2016)