Shlomit Koyfman

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 1

Top Topics

Measurement Error

Automated Detection

Top Venues

Haifa Verification Conference

Publications

Eli Arbel, Erez Barak, Bodo Hoppe, Shlomit Koyfman, Udo Krautz, Shiri Moran
Gating Aware Error Injection. Haifa Verification Conference (2016)
Stephen Bergman, Gabor Bobok, Walter Kowalski, Shlomit Koyfman, Shiri Moran, Ziv Nevo, Avigail Orni, Viresh Paruthi, Wolfgang Roesner, Gil Shurek, Vasantha Vuyyuru
Designer-level verification: an industrial experience story. DATE (2015)
Eli Arbel, Shlomit Koyfman, Prabhakar Kudva, Shiri Moran
Automated detection and verification of parity-protected memory elements. ICCAD (2014)