Nirav Dave

	2012
14		Myron King, Nirav Dave, Arvind: Automatic generation of hardware/software interfaces. ASPLOS 2012: 325-336
	2011
13		Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer: Verification of microarchitectural refinements in rule-based systems. MEMOCODE 2011: 61-71
	2010
12		Nirav Dave, Man Cheuk Ng, Michael Pellauer, Arvind: A design flow based on modular refinement. MEMOCODE 2010: 11-20
	2009
11		Abhinav Agarwal, Nirav Dave, Kermin Fleming, Asif Khan, Myron King, Man Cheuk Ng, Muralidaran Vijayaraghavan: Implementing a fast cartesian-polar matrix interpolator. MEMOCODE 2009: 73-76
	2008
10		Arvind, Nirav Dave, Michael Katelman: Getting Formal Verification into Design Flow. FM 2008: 12-32
9		Kermin Fleming, Chun-Chieh Lin, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks: H.264 Decoder: A Case Study in Multiple Design Points. MEMOCODE 2008: 165-174
8		Teemu Pitkänen, Vesa-Matti Hartikainen, Nirav Dave, Gopal Raghavan: 802.15.3 Transmitter: A Fast Design Cycle Using OFDM Framework in Bluespec. SAMOS 2008: 65-74
	2007
7		Nirav Dave, Arvind, Michael Pellauer: Scheduling as Rule Composition. MEMOCODE 2007: 51-60
6		Man Cheuk Ng, Muralidaran Vijayaraghavan, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks: From WiFi to WiMAX: Techniques for High-Level IP Reuse across Different OFDM Protocols. MEMOCODE 2007: 71-80
5		Nirav Dave, Kermin Fleming, Myron King, Michael Pellauer, Muralidaran Vijayaraghavan: Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA. MEMOCODE 2007: 97-100
	2006
4		Nirav Dave, Michael Pellauer, S. Gerding, Arvind: 802.11a transmitter: a case study in microarchitectural exploration. MEMOCODE 2006: 59-68
	2005
3		Nirav Dave, Man Cheuk Ng, Arvind: Automatic synthesis of cache-coherence protocol processors using Bluespec. MEMOCODE 2005: 25-34
	2004
2		Arvind, Rishiyur S. Nikhil, Daniel L. Rosenband, Nirav Dave: High-level synthesis: an essential ingredient for designing complex ASICs. ICCAD 2004: 775-782
1		Nirav Dave: Designing a reorder buffer in Bluespec. MEMOCODE 2004: 93-102

Coauthor Index

1	Abhinav Agarwal	[11]
2	Arvind	[2] [3] [4] [6] [7] [9] [10] [12] [13] [14]
3	Kermin Fleming (Kermin Elliott Fleming)	[5] [9] [11]
4	S. Gerding	[4]
5	Vesa-Matti Hartikainen	[8]
6	Jamey Hicks	[6] [9]
7	Michael Katelman	[10] [13]
8	Asif Khan	[11]
9	Myron King	[5] [11] [13] [14]
10	Chun-Chieh Lin	[9]
11	José Meseguer	[13]
12	Man Cheuk Ng	[3] [6] [11] [12]
13	Rishiyur S. Nikhil	[2]
14	Michael Pellauer	[4] [5] [7] [12]
15	Teemu Pitkänen	[8]
16	Gopal Raghavan	[6] [8] [9]
17	Daniel L. Rosenband	[2]
18	Muralidaran Vijayaraghavan	[5] [6] [11]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page