ACM Transactions on Design Automation of Electronic Systems (Association for Computing Machinery, 1997)