Nirav Dave

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