Kai Weber

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

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)
Viresh Paruthi, Christian Jacobi, Kai Weber
Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring, and Case Splitting. CHARME (2005)
Christian Jacobi, Kai Weber, Viresh Paruthi, Jason Baumgartner
Automatic Formal Verification of Fused-Multiply-Add FPUs. DATE (2005)