ACM Transactions on Design Automation of Electronic Systems (TODAES) : Volume 17