Guest Editors' Introduction: Special Section on System-Level Design and Validation of Heterogeneous Chip Multiprocessors
• Z. Zilic is with the Department of Electrical & Computer Engineering, McGill University, Montreal, Canada. E-mail: email@example.com.
• P. Mishra is with the Computer and Information Science and Engineering, University of Florida, USA. E-mail: firstname.lastname@example.org.
• S.K. Shukla is with the Depertment of Electrical & Computer Engineering, Virginia Tech, USA. E-mail: email@example.com.
For information on obtaining reprints of this paper, please send e-mail to: firstname.lastname@example.org.
Zeljko Zilic is an associate professor at McGill University, Montreal, QC, Canada. Professor Zilic has worked at Lucent Technologies in 1997-1998 and used a sabbatical leave in 2004/2005 to work with ST Microelectronics in Ottawa on assertion-based verification of multiprocessors on chip, conducted in cooperation with the IBM research lab in Haifa. Professor Zilic conducts research on various aspects of the quality-driven design of embedded heterogeneous microsystems. He has coauthored three books, five patents and over 200 papers, for which he received several awards, including Myril B. Reed Best Paper award from Midwest Symposium on Circuits and Systems, and Best Paper Award from Design and Verification Conference and Exposition (DVCon). He was voted by National Council of Deans of Engineering to receive Wighton Fellowship for his embedded system design teaching in 2006. He has been the guest editor for a special issue of IEEE Design and Test Magazine on Transaction-level Validation of Multicore Architectures in 2011 and for VLSI Design special issue on Advances in Formal Hardware and System Validation in 2013. He is a senior member of IEEE and ACM.
Prabhat Mishra is an associate professor at University of Florida, Ganesville, USA. His research interests include design automation of embedded systems, energy-aware computing, and hardware verification. He received his PhD from the University of California, Irvine in 2004. He has published four books, ten book chapters and more than 100 research articles in premier international journals and conferences. His research has been recognized by several awards including the NSF CAREER Award from the US National Science Foundation, two best paper awards (VLSI Design 2011 and CODES+ISSS 2003), and 2004 EDAA Outstanding Dissertation Award from the European Design Automation Association. Professor Mishra currently serves as an associate editor of ACM Transactions on Design Automation of Electronic Systems, IEEE Design & Test of Computers, IET Computers & Digital Techniques, and Journal of Electronic Testing, and as a technical program committee member of several ACM and IEEE conferences including DAC, ICCAD, DATE, ASPDAC, CODES+ISSS, RTAS and VLSI Design. He is a senior member of both ACM and IEEE.
Sandeep K. Shukla (M'99-SM'03) is a professor at Virginia Polytechnic and State University in Blacksburg, Blacksburg, Virginia, USA. He is also a founder and past director of the Center for Embedded Systems for Critical Applications, and director of the FERMAT research lab. He has published more than 200 articles in journals, books and conference proceedings. He was awarded the PECASE (Presidential Early Career Award for Scientists and Engineers) award, by the US National Science Foundation, Bessel Award from the Humboldt Foundation, a College of Engineering Faculty Fellow at Virginia Tech. Professor Shukla is a senior member of the IEEE, and of ACM. He is on the editorial boards of IEEE Transactions on Computers, and IEEE Embedded Systems Letters, CSI Journal of Computer Science, Elsevier Journal on Nano-Networking, and ISRN Journal on Software Engineering. In the past, he was on the editorial board of IEEE Design & Test of Computers and IEEE Transactions on Industrial Informatics.