ACM transactions on design automation of electronic systems (ACM Press, 1996)