ACM Transactions on Design Automation of Electronic Systems (TODAES) : Volume 21
Issue 1, November 2015