Formal Hardware Verification based on Signal Correlation Properties. - Nikhil Kikkeri; Peter-Michael Seidel (ICCD, 2004)

Challenges in the Formal Verification of Complete State-of-the-Art Processors. - Nathaniel Ayewah; Nikhil Kikkeri; Peter-Michael Seidel (ICCD, 2005)

Formal Verification of Parametric Multiplicative Division Implementations. - Nikhil Kikkeri; Peter-Michael Seidel (ICCD, 2005)

Optimized Arithmetic Hardware Design based on Hierarchical Formal Verification. - Nikhil Kikkeri; Peter-Michael Seidel (ICECS, 2006)

An FPGA Implementation of a Fully Verified Double Precision IEEE Floating-Point Adder. - Nikhil Kikkeri; Peter-Michael Seidel (ASAP, 2007)