Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring, and Case Splitting. - Viresh Paruthi; Christian Jacobi 002; Kai Weber 001 (CHARME, 2005)

Automatic Formal Verification of Fused-Multiply-Add FPUs. - Christian Jacobi 002; Kai Weber 001; Viresh Paruthi; Jason Baumgartner (DATE, 2005)

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)