Theses most similar to those of author Netolická, Karolína

Equivalence checking of retimed circuits (2005) read it

The VAT tool : automatic transformation of VHDL to timed automata

Nehme, Carl, 1981- (2004)

  • Advisor: I. Kristina Lundqvist
  • Department of Aeronautics and Astronautics
Read it

High level compilation for gate reconfigurable architectures

Babb, Jonathan William (2001)

  • Advisor: Anant Agarwal
  • 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

Hardware modeling and top-down design using VHDL

Morton, Dennis P. (Dennis Paul) (1991)

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

Control and application of a pixel-parallel image processing system

Hall, Gary (1997)

  • Advisor: Charles G. Sodini
  • Department of Electrical Engineering and Computer Science
Read it

Scalable SRAM design

Wuu, John J. (John Jung-Sheun) (1997)

  • Advisor: Anantha P. Chandrakasan
  • Department of Electrical Engineering and Computer Science
Read it

Circuit design for logic automata

Chen, Kailiang (2009)

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

ALA ASIC : a standard cell library for Asynchronous Logic Automata

Green, Forrest Oliver Reece (2010)

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

A digital controller for a unity power factor converter

Mitwalli, Ahmed Hamdi (1993)

  • Advisor: George C. Verghese
  • 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