The ACM Transactions on Design Automation of Electronic Systems (TODAES) publishes recent significant results of research and development efforts in the area of design automation of electronic systems. The TODAES editorial board invites submission of technical papers describing recent results of research and development efforts in the area of design automation of electronic systems. The journal intends to provide a comprehensive coverage of innovative works concerning the specification, design, analysis, simulation, testing, and evaluation of very large scale integrated electronic systems, emphasizing a computer science/engineering orientation.