| 2008 |
|---|
| 10 | EE | Arvind,
Nirav Dave,
Michael Katelman:
Getting Formal Verification into Design Flow.
FM 2008: 12-32 |
| 9 | EE | 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 | EE | 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 | EE | Nirav Dave,
Arvind,
Michael Pellauer:
Scheduling as Rule Composition.
MEMOCODE 2007: 51-60 |
| 6 | EE | 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 | EE | 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 | EE | Nirav Dave,
Michael Pellauer,
S. Gerding,
Arvind:
802.11a transmitter: a case study in microarchitectural exploration.
MEMOCODE 2006: 59-68 |
| 2005 |
|---|
| 3 | EE | Nirav Dave,
Man Cheuk Ng,
Arvind:
Automatic synthesis of cache-coherence protocol processors using Bluespec.
MEMOCODE 2005: 25-34 |
| 2004 |
|---|
| 2 | EE | Arvind,
Rishiyur S. Nikhil,
Daniel L. Rosenband,
Nirav Dave:
High-level synthesis: an essential ingredient for designing complex ASICs.
ICCAD 2004: 775-782 |
| 1 | EE | Nirav Dave:
Designing a reorder buffer in Bluespec.
MEMOCODE 2004: 93-102 |
