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