The Transactions on Design Automation of Electronic Systems (TODAES) is part of the family of journals produced by the ACM. SIGDA is our sponsoring organization. TODAES publishes one volume every year. Each volume is comprised of four issues, which appear in January, April, July and October.

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. Potential authors are encouraged to consult the information for authors.

Please use http://mc.manuscriptcentral.com/todaes for new submissions, status of papers, assignment of reviewers and reviewing tasks. Please note, if you don't have an account at ACM Manuscript Central you will need to create an account before you can log in and submit to ACM TODAES.

Congratulations to Chao Wang, Zijiang Yang, Franjo Ivancic and Aarti Gupta on receiving the 2008 ACM TODAES Best Paper Award for their article titled Disjunctive image computation for software verification, ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 12, Issue 2, April 2007, Article No. 10.

Questions, Comments or Suggestions: Please contact Annie Yu (todaes@ceng.usc.edu) for questions related to manuscript processing, Prabhat Mishra (todaes@acm.org) for webpage related comments, and Massoud Pedram (pedram@usc.edu) for all other topics.