ACM Transactions on Design Automation of Electronic Systems (TODAES)