ACM transactions on design automation of electronic systems. (Association for Computing Machinery, 2010)