Labs

Electronic and Genetic Design Automation

Lab Lab Video Description Faculty
Laboratory for NanoIntegrated Systems (LNIS) Lab Video Development of reconfigurable logic architectures and digital circuits Pierre-Emmanuel Gaillardon
Kalla Lab Automated Synthesis, Test and Verification of Digital Systems Priyank Kalla
CMOS Lab Engineering Design Ken Stevens

VLSI System Design

Lab Lab Video Description Faculty
Computer architecture and VLSI systems Erik Brunvand
Laboratory for NanoIntegrated Systems (LNIS) Development of reconfigurable logic architectures and digital circuits Pierre-Emmanuel Gaillardon
 CMOS Lab Very Large Scale Integration (VLSI) Ken Stevens
Laboratory of Circuits & Systems (LCAS) Very wide band communication circuits and systems Armin Tajalli

Faculty

Erik Brunvand

Adjunct Professor

University of Utah School of Computing

Computer architecture and VLSI

Pierre-Emmanuel Gaillardon

Associate Professor

Development of reconfigurable logic architectures and digital circuits exploiting emerging device technologies and novel EDA techniques.

Priyank Kalla

Professor

VLSI systems: automated synthesis and optimization, validation and verification of digital VLSI systems, including: formal verification of RTL descriptions, new techniques to guide CNF-SAT search, using Groebner's proof systems for simplification of design verification and SAT solving, and design automation for optic/photonic logic

Ken Stevens

Professor

VLSI, asynchronous circuit design and architecture, timing analysis, and formal verification

Armin Tajalli

Assistant Professor

Integrated wireline and wireless systems, energy-efficient integrated systems, high-speed wireline systems, RF circuits, data converters, phase-locked loops and frequency synthesisers, analog integrated circuits, extremely low power integrated systems