Login / Signup
Udo Krautz
Publication Activity (10 Years)
Years Active: 2006-2016
Publications (10 Years): 1
Top Topics
Fast Fourier Transform
Instruction Set
Measurement Error
Sparse Matrices
Top Venues
DAC
Haifa Verification Conference
</>
Publications
</>
Eli Arbel
,
Erez Barak
,
Bodo Hoppe
,
Shlomit Koyfman
,
Udo Krautz
,
Shiri Moran
Gating Aware Error Injection.
Haifa Verification Conference
(2016)
Udo Krautz
,
Viresh Paruthi
,
Anand Arunagiri
,
Sujeet Kumar
,
Shweta Pujar
,
Tina Babinsky
Automatic Verification of Floating Point Units.
DAC
(2014)
Udo Krautz
,
Markus Wedler
,
Wolfgang Kunz
,
Kai Weber
,
Christian Jacobi
,
Matthias Pflanz
Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof.
ASP-DAC
(2008)
Udo Krautz
,
Matthias Pflanz
,
Christian Jacobi
,
Hans-Werner Tast
,
Kai Weber
,
Heinrich Theodor Vierhaus
Evaluating coverage of error detection logic for soft errors using formal methods.
DATE
(2006)