M. Brandon Meredith

	2008
3		Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu: Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra. IEEE Trans. VLSI Syst. 16(4): 376-387 (2008)
	2007
2		Sivaram Gopalakrishnan, Priyank Kalla, M. Brandon Meredith, Florian Enescu: Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors. ICCAD 2007: 143-148
	2006
1		Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu: Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands. FMCAD 2006: 179-186

Coauthor Index

1	Florian Enescu	[1] [2] [3]
2	Sivaram Gopalakrishnan	[2]
3	Priyank Kalla	[1] [2] [3]
4	Namrata Shekhar	[1] [3]