ACK - An Asynchronous Design Framework

Gate Level Simulation (Synopsys)