ACM Transactions on Design Automation of Electronic Systems, ‎1084-4309

Journal