Design Automation of Real-Life Asynchronous Devices and SystemsAlexander Taubin, Jordi Cortadella, Luciano Lavagno, Ad Peeters, Alex Kondratyev₹3,153