Theses most similar to those of author Vijayaraghavan, Muralidaran

Theory of composable latency-insensitive refinements (2009) read it

Designing a processor in Bluespec

Dave, Nirav Hemant, 1982- (2005)

  • Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
  • Department of Electrical Engineering and Computer Science
Read it

A performance driven approach for hardware synthesis of guarded atomic actions

Rosenband, Daniel L., 1977- (2005)

  • Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
  • Department of Electrical Engineering and Computer Science
Read it

A pipelined code mapping scheme for static data flow computers

Gao, Guang Rong (1986)

  • Advisor: Jack B. Dennis
  • Department of Electrical Engineering and Computer Science
Read it

An evaluation of Fugu's network deadlock avoidance solution

Lee, Victor Wui-Keung (1996)

  • Advisor: Anant Agarwal
  • Department of Electrical Engineering and Computer Science
Read it

Hoover bus : an input bus optimized for multiple real-time data streams

Wong, Jeffrey J. (Jeffrey Justin) (1996)

  • Advisor: Bove, V. Michael
  • Department of Electrical Engineering and Computer Science
Read it

HAsim : cycle-accurate multicore performance models on FPGAs

Pellauer, Michael (Michael Ignatius) (2011)

  • Advisors: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-; Joel Emer
  • Department of Electrical Engineering and Computer Science
Read it

Modular verification of hardware systems

Vijayaraghavan, Muralidaran (2016)

  • Advisors: Adam Chlipala; Arvind
  • Department of Electrical Engineering and Computer Science
Read it

Use of high-level design information for enabling automation of fine-grained power gating

Agarwal, Abhinav (2014)

  • Advisor: Arvind
  • Department of Electrical Engineering and Computer Science
Read it

Operation-centric hardware description and synthesis

Hoe, James C. (James Chu-Yue) (2000)

  • Advisor: Arvind
  • Department of Electrical Engineering and Computer Science
Read it

Synthesis of multi-cycle circuits from guarded atomic actions

Karczmarek, Michal, 1977- (2011)

  • Advisor: Arvind
  • Department of Electrical Engineering and Computer Science
Read it

Modular verification of hardware systems (2016) read it

An efficient buffer management methods for Cachet

Kim, Byungsub, 1978- (2004)

  • Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Rapid designs for cache coherence protocol engines in Bluespec

Ng, Man Cheuk, 1980- (2005)

  • Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Designing a processor in Bluespec

Dave, Nirav Hemant, 1982- (2005)

  • Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Verifiable compilation of I/O automata without global synchronization

Tauber, Joshua A. (Joshua Allen) (2005)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Automatic verification of pipelined microprocessors

Bhagwati, Vishal Lalit (1994)

  • Advisor: Srinivas Devadas
  • Department of Electrical Engineering and Computer Science
Read it

A performance driven approach for hardware synthesis of guarded atomic actions

Rosenband, Daniel L., 1977- (2005)

  • Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Verifying an I/O-concurrent file system

Chajed, Tej (2017)

  • Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Design and verification of adaptive cache coherence protocols

Shen, Xiaowei, 1966- (2000)

  • Advisor: Arvind
  • Department of Electrical Engineering and Computer Science
Read it

Operation-centric hardware description and synthesis

Hoe, James C. (James Chu-Yue) (2000)

  • Advisor: Arvind
  • Department of Electrical Engineering and Computer Science
Read it

Synthesis of multi-cycle circuits from guarded atomic actions

Karczmarek, Michal, 1977- (2011)

  • Advisor: Arvind
  • Department of Electrical Engineering and Computer Science
Read it