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.
Before installing ATACS, check that the following are installed on your system:
Java Runtime Environment Version 1.5 or higher
Graphviz
ATACS Version 6.0.1 (Linux)
ATACS Version 6.0.1 (Windows)
ATACS Version 6.0.1 (MacOS)
View the ATACS installation instructions
View the ATACS manual
View an ATACS tutorial
Bug database guest access
Bug database user access