ACM Transactions on Design Automation of Electronic Systems (ACM Press, 2002)