Neal Tew

	2008
1		Neal Tew, Priyank Kalla, Namrata Shekhar, Sivaram Gopalakrishnan: Verification of arithmetic datapaths using polynomial function models and congruence solving. ICCAD 2008: 122-128

Coauthor Index

1	Sivaram Gopalakrishnan	[1]
2	Priyank Kalla	[1]
3	Namrata Shekhar	[1]