Nirav Dave

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 1

Top Topics

Hardware Design

Temporal Structure

Top Venues

Publications

Yixuan Luo, Cheng Tan, Nicolas Bohm Agostini, Ang Li, Antonino Tumeo, Nirav Dave, Tong Geng
ML-CGRA: An Integrated Compilation Framework to Enable Efficient Machine Learning Acceleration on CGRAs. DAC (2023)
Muralidaran Vijayaraghavan, Adam Chlipala, Arvind, Nirav Dave
Modular Deductive Verification of Multiprocessor Hardware Designs. CAV (2) (2015)
Richard Uhler, Nirav Dave
Smten with satisfiability-based search. OOPSLA (2014)
Richard Uhler, Nirav Dave
Smten: Automatic Translation of High-Level Symbolic Computations into SMT Queries. CAV (2013)
Asif Khan, Nirav Dave
Enabling Hardware Exploration in Software-Defined Networking: A Flexible, Portable OpenFlow Switch. FCCM (2013)
Muralidaran Vijayaraghavan, Nirav Dave, Arvind
Modular compilation of guarded atomic actions. MEMOCODE (2013)
Myron King, Nirav Dave, Arvind
Automatic generation of hardware/software interfaces. ASPLOS (2012)
Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer
Verification of microarchitectural refinements in rule-based systems. MEMOCODE (2011)
Nirav Dave, Man Cheuk Ng, Michael Pellauer, Arvind
A design flow based on modular refinement. MEMOCODE (2010)
Abhinav Agarwal, Nirav Dave, Kermin Fleming, Asif Khan, Myron King, Man Cheuk Ng, Muralidaran Vijayaraghavan
Implementing a fast cartesian-polar matrix interpolator. MEMOCODE (2009)
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)
Kermin Fleming, Chun-Chieh Lin, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks
H.264 Decoder: A Case Study in Multiple Design Points. MEMOCODE (2008)
Arvind, Nirav Dave, Michael Katelman
Getting Formal Verification into Design Flow. FM (2008)
Nirav Dave, Arvind, Michael Pellauer
Scheduling as Rule Composition. MEMOCODE (2007)
Nirav Dave, Kermin Fleming, Myron King, Michael Pellauer, Muralidaran Vijayaraghavan
Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA. MEMOCODE (2007)
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)
Nirav Dave, Michael Pellauer, S. Gerding, Arvind
802.11a transmitter: a case study in microarchitectural exploration. MEMOCODE (2006)
Nirav Dave, Man Cheuk Ng, Arvind
Automatic synthesis of cache-coherence protocol processors using Bluespec. MEMOCODE (2005)
Nirav Dave
Designing a reorder buffer in Bluespec. MEMOCODE (2004)
Arvind, Rishiyur S. Nikhil, Daniel L. Rosenband, Nirav Dave
High-level synthesis: an essential ingredient for designing complex ASICs. ICCAD (2004)