Design Automation of Real-Life Asynchronous Devices and Systems Taubin Alexander Heftet / 2007 / Engelsk