Evaluating coverage of error detection logic for soft errors using formal methods. - Udo Krautz; Matthias Pflanz; Christian Jacobi 002; Hans-Werner Tast; Kai Weber 001; Heinrich Theodor Vierhaus (DATE, 2006)

Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof. - Udo Krautz; Markus Wedler; Wolfgang Kunz; Kai Weber 001; Christian Jacobi 002; Matthias Pflanz (ASP-DAC, 2008)

Automatic Verification of Floating Point Units. - Udo Krautz; Viresh Paruthi; Anand Arunagiri; Sujeet Kumar; Shweta Pujar; Tina Babinsky (DAC, 2014)

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