About the Editors

Prabhat Mishra is an assistant professor in the Department of Computer and Information Science and Engineering at the University of Florida. He received his B.E. from Jadavpur University, Kolkata, India, in 1994, M.Tech. from the Indian Insti¬ tute of Technology, Kharagpur, India, in 1996, and Ph.D. from the University of California, Irvine, in 2004—all in computer science. Prior to his current position, he spent several years in industry working in the areas of design and verification of microprocessors and embedded systems. His research interests are in the area ofVLSI CAD, functional verification, and design automation of embedded and nanosystems. He is a coauthor of the book Functional Verification of Programmable Embed¬ ded Architectures, Springer, 2005. He has published more than 40 research articles in premier journals and conferences. His research has been recognized by several awards including the NSF CAREERAward from National Science Foundation in 2008, CODES+ISSS Best Paper Award in 2003, and EDAA Outstanding Dissertation Award from the European DesignAutomationAssociation in 2005. He has also received the International Educator of the Year Award from the College of Engineering for his significant international research and teaching contributions. He currently serves as information director of ACM Transactions on Design Automation of Electronic Systems (TODAES), as a technical program committee member of various reputed conferences (DATE, CODES+ISSS, ISCAS, VLSI Design, I-SPAN, and EUC), and as a reviewer for many ACM/IEEE journals, conferences, and workshops. Dr. Mishra is a member ofACM and IEEE.

Nikil Dutt is a chancellor's professor at the University of California, Irvine, with academic appointments in the CS and EECS departments. He received his B.E. (Hons) in mechanical engineering from the Birla Institute ofTechnology and Science, Pilani, India, in 1980, M.S. in computer science from the Pennsylvania State University in 1983, and Ph.D. in Computer Science from the University of Illinois at Urbana- Champaign in 1989. He is affiliated with the following Centers at UCI: Center for Embedded Computer Systems (CECS), California Institute for Telecommunications and Information Technology (Calit2), the Center for Pervasive Communications and Computing (CPCC), and the Laboratory for Ubiquitous Computing and Interac¬ tion (LUCI). His interests are in embedded systems, electronic design automation, , optimizing compilers, system specification techniques, and distributed systems. He is a coauthor of six books: Memory Issues in Embedded Systems-on-Chip: Optimizations and Exploration, Kluwer Academic Publishers, 1999; Memory Architecture Exploration for Programmable Embedded Systems, Kluwer Academic Publishers, 2003; SPARK:A Parallelizing Approach to the High- level Synthesis of Digital Circuits, Kluwer Academic Publishers, 2004; Functional Verification of Programmable Embedded Architectures: A Top-Down Approach, Springer-Verlag, 2005; and On-Chip Communication Architectures: System on Chip Interconnect, Morgan Kaufman, 2008. His research has been recognized by Best xxviii About the Editors

Paper Awards at the following confeiences CHDL'89, CHDL91,VLSI Design 2003, CODES+ISSS 2003, CNCC 2006, and ASPDAC 2006, and Best Paper Award Nomi nations at WASP 2004, DAC 2005, and VLSI Design 2006 He has also received a number of departmental and campus awards for excellence in teaching at UC Irvine He currently serves as Editor m Chief ofACM Transactions on Design Automation of Electronic Systems (TODAES) and as Associate Editor ofACMTransactions on Embed¬ ded Computer Systems (TECS) and of IEEE Transactions on VLSI Systems (TVLSI) He was anACM SIGDA Distinguished Lecturer during 2001 -2002, and an IEEE Com¬ puter Society Distinguished Visitor for 2003-2005 He has served on the steering, organizing, and program committees of several premier CAD and conferences and workshops, including ASPDAC, DATE, ICCAD, CODES+ISSS, CASES, ISLPED, and LCTES He is a fellow of the IEEE, an ACM Distinguished Scientist, an IFIP Silver Core awardee, and serves on, or has served on the advisory boards of ACM SIGBED,ACM SIGDA, and IFIPWG 10 5 Processor Architecture Description Languages (ADLs) and their associated specifi¬ cation, exploration and rapid prototyping methodologies aid the system designer in finding the best possible design for a given set of applications under various design constraints. Processor Description Languages is the first comprehensive survey of modern processor ADLs and is an invaluable reference for embedded system architects, researchers, designers, developers and validation engineers. Readers will see that the use of particular ADLs will lead to productivity gains in designing particular (application-specific) types of embedded processors. Furthermore, read¬ ers wilt be able to understand the role of processor ADLs in facilitating the rapid and reliable development of the entire ecosystem surrounding the deployment of embedded processors, including the generation of a software toolkit (compilers, simulators, debuggers and validation/verification environments).