Nikhil Kikkeri

	2007
4		Nikhil Kikkeri, Peter-Michael Seidel: An FPGA Implementation of a Fully Verified Double Precision IEEE Floating-Point Adder. ASAP 2007: 83-88
	2005
3		Nikhil Kikkeri, Peter-Michael Seidel: Formal Verification of Parametric Multiplicative Division Implementations. ICCD 2005: 599-602
2		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		Nikhil Kikkeri, Peter-Michael Seidel: Formal Hardware Verification based on Signal Correlation Properties. ICCD 2004: 402-408

Coauthor Index

1	Nathaniel Ayewah	[2]
2	Peter-Michael Seidel	[1] [2] [3] [4]