Nikhil Kikkeri

According to our database, Nikhil Kikkeri authored at least 5 papers between 2004 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2007

An FPGA Implementation of a Fully Verified Double Precision IEEE Floating-Point Adder.

Nikhil Kikkeri, Peter-Michael Seidel

Proceedings of the IEEE International Conference on Application-Specific Systems, 2007

2006

Optimized Arithmetic Hardware Design based on Hierarchical Formal Verification.

Nikhil Kikkeri, Peter-Michael Seidel

Proceedings of the 13th IEEE International Conference on Electronics, 2006

2005

Formal Verification of Parametric Multiplicative Division Implementations.

Nikhil Kikkeri, Peter-Michael Seidel

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Challenges in the Formal Verification of Complete State-of-the-Art Processors.

Nathaniel Ayewah, Nikhil Kikkeri, Peter-Michael Seidel

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

2004

Formal Hardware Verification based on Signal Correlation Properties.

Nikhil Kikkeri, Peter-Michael Seidel

Proceedings of the 22nd IEEE International Conference on Computer Design: VLSI in Computers & Processors (ICCD 2004), 2004