MENU
  • People

    • Faculty

    • Students

    • Alumni

  • Research

    • Genetic Design Automation

    • Formal Verification of Cyber-Physical Systems

    • Analog Circuit Design and Verification

    • Asynchronous Circuit Design and Verification

  • Publications

    • Engineering Genetic Circuits

    • Asynchronous Circuit Design

    • Books and Book Chapters

    • Dissertations and Theses

    • Journal Papers

    • Patents

    • Conference / Workshop Papers

  • Tools

    • iBioSim

    • SynBioHub

    • SBOLDesigner

    • SBOL Libraries

    • SBOL Validator

    • LEMA

    • ATACS

Myers Research Group

The University of Utah

Myers Research Group

  • People

    • Faculty

    • Students

    • Alumni

  • Research

    • Genetic Design Automation

    • Formal Verification of Cyber-Physical Systems

    • Analog Circuit Design and Verification

    • Asynchronous Circuit Design and Verification

  • Publications

    • Engineering Genetic Circuits

    • Asynchronous Circuit Design

    • Books and Book Chapters

    • Dissertations and Theses

    • Journal Papers

    • Patents

    • Conference / Workshop Papers

  • Tools

    • iBioSim

    • SynBioHub

    • SBOLDesigner

    • SBOL Libraries

    • SBOL Validator

    • LEMA

    • ATACS


W hat do the three images above have in common? The answer is that they can all be modeled and analyzed by methods being developed in the Myers Research Group. The first image is a timed asynchronous multiplier designed by Kip Killpack, the second image is a fully analog decoder for digital communication applications designed by several students as part of a joint project with Professors Christian Schlegel and Reid Harrison, and the third image is the Phage Lambda virus. Since 1991, we have been developing methods and tools for the design of timed asynchronous circuits. Since 2002, our research group has been extending our modeling and analysis methods to analyze and reason about both analog/mixed-signal circuits, as well as, biological systems. For more information about the research being conducted in our group, please see our research pages.

Over the years, this research has been supported by the National Science Foundation, the Semiconductor Research Corporation, Intel Corporation, and the State of Utah.



QUICK LINKS
  • People

    • Faculty

    • Students

    • Alumni

  • Research

    • Genetic Design Automation

    • Formal Verification of Cyber-Physical Systems

    • Analog Circuit Design and Verification

    • Asynchronous Circuit Design and Verification

  • Publications

    • Engineering Genetic Circuits

    • Asynchronous Circuit Design

    • Books and Book Chapters

    • Dissertations and Theses

    • Journal Papers

    • Patents

    • Conference / Workshop Papers

  • Tools

    • iBioSim

    • SynBioHub

    • SBOLDesigner

    • SBOL Libraries

    • SBOL Validator

    • LEMA

    • ATACS



  • CIS
  • U-Mail
  • youtube

Department of Electrical and Computer Engineering
50 S. Central Campus Dr., Rm. 3280
Salt Lake City, UT 84112
801.581.8378

© 2023 The University of Utah