Shlomit Koyfman

According to our database, Shlomit Koyfman authored at least 3 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Gating Aware Error Injection.

Eli Arbel, Erez Barak, Bodo Hoppe, Shlomit Koyfman, Udo Krautz, Shiri Moran

Proceedings of the Hardware and Software: Verification and Testing, 2016

2015

Designer-level verification: an industrial experience story.

Stephen Bergman, Gabor Bobok, Walter Kowalski, Shlomit Koyfman, Shiri Moran, Ziv Nevo, Avigail Orni, Viresh Paruthi, Wolfgang Roesner, Gil Shurek, Vasantha Vuyyuru

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

Automated detection and verification of parity-protected memory elements.

Eli Arbel, Shlomit Koyfman, Prabhakar Kudva, Shiri Moran

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014