Acm Transactions on Design Automation of Electronic Systems