Transactions on design automation of electronic systems (Association for Computing Machinery, 1996)