Theses most similar to A performance driven approach for hardware synthesis of guarded atomic actions (Rosenband, Daniel L., 1977-; 2005) 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 task communication language and compiler for the NuMesh

Cornez, Jason Steven (1994)

  • Advisor: Stephen A. Ward
  • Department of Electrical Engineering and Computer Science
Read it

Translating alloy using Boolean circuits

Daitch, Samuel Isaac (2004)

  • Advisor: Daniel Jackson
  • 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

Formal specification techniques for promoting software modularity, enhancing documentation, and testing specifications

Tan, Yang Meng (1994)

  • Advisor: John V. Guttag
  • Department of Electrical Engineering and Computer Science
Read it

Theory of composable latency-insensitive refinements

Vijayaraghavan, Muralidaran (2009)

  • 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

Modular verification of hardware systems

Vijayaraghavan, Muralidaran (2016)

  • Advisors: Adam Chlipala; 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