| |
| 2007 | ||
|---|---|---|
| 4 | EE | Nikhil Kikkeri, Peter-Michael Seidel: An FPGA Implementation of a Fully Verified Double Precision IEEE Floating-Point Adder. ASAP 2007: 83-88 |
| 2005 | ||
| 3 | EE | Nikhil Kikkeri, Peter-Michael Seidel: Formal Verification of Parametric Multiplicative Division Implementations. ICCD 2005: 599-602 |
| 2 | EE | Nathaniel Ayewah, Nikhil Kikkeri, Peter-Michael Seidel: Challenges in the Formal Verification of Complete State-of-the-Art Processors. ICCD 2005: 603-608 |
| 2004 | ||
| 1 | EE | Nikhil Kikkeri, Peter-Michael Seidel: Formal Hardware Verification based on Signal Correlation Properties. ICCD 2004: 402-408 |
| 1 | Nathaniel Ayewah | [2] |
| 2 | Peter-Michael Seidel | [1] [2] [3] [4] |