802.15.3 Transmitter: A Fast Design Cycle Using OFDM Framework in Bluespec, Raghavan Gopal; Dave Nirav , Lecture Nores in Computer Science, (2008)

From WiFI to WiMAX: Techniques for IP Reuse Across Different OFDM Protocols, Ng, Man Cheuk; Vijayaraghavan, Muralidaran; Raghavan, Gopal; Dave, Nirav; Hicks, Jamey; Arvind, , Proceedings of Formal Methods and Models for Codesign (MEMOCODE), Nice,~France, (2007)

Scheduling as Rule Composition, Dave, Nirav; Arvind,; Pellauer, Michael , Proceedings of Formal Methods and Models for Codesign (MEMOCODE), Nice,~France, (2007)

802.11a Transmitter: A Case Study in Microarchitectural Exploration, Dave, Nirav; Pellauer, Michael; Gerding, Steve; Arvind, , Proceedings of Formal Methods and Models for Codesign (MEMOCODE), Napa,~CA, (2006)