Design automation of real-life asynchronous devices and systems

by Alexander Taubin, Jordi Cortadella, Luciano Lavagno