ACM Transactions on Design Automation of Electronic Systems (TODAES) : Volume 22
Issue 1, December 2016