Udo Krautz

According to our database, Udo Krautz authored at least 4 papers between 2006 and 2016.

Collaborative distances:

• Dijkstra number of five.
• 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

2014

Automatic Verification of Floating Point Units.

Udo Krautz, Viresh Paruthi, Anand Arunagiri, Sujeet Kumar, Shweta Pujar, Tina Babinsky

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2008

Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof.

Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Weber, Christian Jacobi, Matthias Pflanz

Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008

2006

Evaluating coverage of error detection logic for soft errors using formal methods.

Udo Krautz, Matthias Pflanz, Christian Jacobi, Hans-Werner Tast, Kai Weber, Heinrich Theodor Vierhaus

Proceedings of the Conference on Design, Automation and Test in Europe, 2006