dblp.uni-trier.dewww.uni-trier.de

Nikhil Kikkeri

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)