Nikhil Kikkeri

Publication Activity (10 Years)

Years Active: 2004-2007
Publications (10 Years): 0

Publications

Nikhil Kikkeri, Peter-Michael Seidel
An FPGA Implementation of a Fully Verified Double Precision IEEE Floating-Point Adder. ASAP (2007)
Nikhil Kikkeri, Peter-Michael Seidel
Optimized Arithmetic Hardware Design based on Hierarchical Formal Verification. ICECS (2006)
Nikhil Kikkeri, Peter-Michael Seidel
Formal Verification of Parametric Multiplicative Division Implementations. ICCD (2005)
Nathaniel Ayewah, Nikhil Kikkeri, Peter-Michael Seidel
Challenges in the Formal Verification of Complete State-of-the-Art Processors. ICCD (2005)
Nikhil Kikkeri, Peter-Michael Seidel
Formal Hardware Verification based on Signal Correlation Properties. ICCD (2004)