Myers Research Group

University of Utah



People

Research

Tools

Publications

Book

Home Page


ATACS


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