ACM transactions on design automation of electronic systems (ACM - Association for Computing Machinery, 1996)