| |
| 2008 | ||
|---|---|---|
| 2 | 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 | ||
| 1 | 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 |
| 1 | Christian Jacobi | [1] [2] |
| 2 | Wolfgang Kunz | [2] |
| 3 | Matthias Pflanz | [1] [2] |
| 4 | Hans-Werner Tast | [1] |
| 5 | Heinrich Theodor Vierhaus | [1] |
| 6 | Kai Weber | [1] [2] |
| 7 | Markus Wedler | [2] |