ATACS The ATACS tool is for the synthesis and verification of timed asynchronous circuits. Source code and binaries Report an issue