| 2008 |
|---|
| 4 | EE | 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: 398-403 |
| 2006 |
|---|
| 3 | EE | 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: 176-181 |
| 2005 |
|---|
| 2 | EE | Viresh Paruthi,
Christian Jacobi,
Kai Weber:
Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring, and Case Splitting.
CHARME 2005: 114-128 |
| 1 | EE | Christian Jacobi,
Kai Weber,
Viresh Paruthi,
Jason Baumgartner:
Automatic Formal Verification of Fused-Multiply-Add FPUs.
DATE 2005: 1298-1303 |
