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

ATACS

The ATACS tool is for the synthesis and verification of timed asynchronous circuits.

  • Source code and binaries
  • Report an issue
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