IEEE COUNCIL on ELECTRONIC DESIGN AUTOMATION IEEE EMBEDDED SYSTEMS LETTERS Is Published by the IEEE Council on Electronic Design Automation

IEEE COUNCIL ON ELECTRONIC DESIGN AUTOMATION IEEE EMBEDDED SYSTEMS LETTERS is published by the IEEE Council on Electronic Design Automation. The IEEE Council on Electronic Design Automation (CEDA) is an organizational unit of the IEEE that has six IEEE member societies, namely: Antennas and Propagation, Circuits and Systems, Computer, Electron Devices, Microwave Theory and Techniques, and Solid-State Circuits Societies. The objectives of CEDA include fostering design automation of electronic circuits and systems at all levels, by means of publications, conferences/workshops and volunteer activities. All members of the IEEE can subscribe to the Council’s publications and will receive this LETTERS upon payment of the annual subscription fee of $45.00. To start your subscription, go to http://www.c-eda.org or write to the address below. Member copies of Transactions/Journals are for personal use only. EDITORIAL BOARD EDITOR-IN-CHIEF DEPUTY EDITOR-IN-CHIEF KRITHI RAMAMRITHAM CATHERINE GEBOTYS Department of Computer Science and Engineering Department of Electrical and Computer Engineering Indian Institute of Technology Bombay University of Waterloo Mumbai 400 076, India 200 University Avenue West E-mail: [email protected] Waterloo, ON N2L 3G1, Canada E-mail: [email protected]

Embedded Security Embedded Sensor Platforms Design and Verification Methodologies and Tools ANAND RAGHUNATHAN PAI H. CHOU YOSINORI WATANABE Purdue University University of California, Irvine and Cadence Research Laboratories National Tsing Hua University, Taiwan Cyber-Physical Systems, Real-Time Systems PRABAL DUTTA TAREK ABDELZAHER Embedded Security University of Michigan, Ann Arbor University of Illinois, GANG QU Urbana-Champaign Reconfigurable Systems University of Maryland RYAN KASTNER Embedded Systems Specification and Modeling University of California, San Diego SANDEEP SHUKLA Digital Signal Processing Architectures Virginia Polytechnic Institute and State Embedded Processor Architectures JAMES HOE University RAKESH KUMAR Carnegie Mellon University University of Illinois, Urbana-Champaign Embedded Control and Hybrid Systems PAULO TABUADA Design Methods for Embedded Systems Power Efficient Embedded Systems University of California, DONATELLA SCIUTO JOSE L. AYALA Los Angeles Politecnico di Milano, Italy Complutense University of Madrid, Spain ADVISORY BOARD ANDREAS KUEHLMANN, University of California, Berkeley JACK GANSSLE, Ganssle Group MARILYN WOLF, Georgia Institute of Technology NIKIL DUTT, University of California, Irvine DINESH RAMANATHAN, Cypress Semiconductor FENG ZHAO, Microsoft Research KRITHI RAMAMRITHAM, IIT Bombay, India

IEEE OFFICERS CEDA OFFICERS MOSHE KAM, President ANDREAS KUEHLMANN, President GORDON W. DAY, President-Elect DONATELLA SCIUTO, President-Elect ROGER D. POLLARD, Secretary JOHN A. DARRINGER, Past President HAROLD FLESCHER, Treasurer SANI NASSIF, VP—Conferences PEDRO A. RAY, Past President DAVID ATIENZA ALONSO, VP—Finance TARIQ S. DURRANI, Vice President, Educational Activities RAJESH K. GUPTA, VP—Publications DAVID A. HODGES, Vice President, Publication Services and Products SHISHPAL S. RAWAT, VP—Technical Activities HOWARD E. MICHEL, Vice President, Member and Geographic Activities WILLIAM H. JOYNER,JR., Secretary STEVE M. MILLS, President, Standards Association DONNA L. HUDSON, Vice President, Technical Activities RONALD G. JENSEN, President, IEEE-USA HIROSHI IWAI, Director, Division I IEEE Periodicals Transactions/Journals Department Staff Director:FRAN ZAPPULLA Editorial Director:DAWN MELLEY Production Director:PETER M. TUOHY Senior Managing Editor:WILLIAM A. COLACCHIO IEEE EMBEDDED SYSTEMS LETTERS (ISSN 1943-0663) is published quarterly by The Institute of Electrical and Electronics Engineers, Inc. Responsibility for the contents rests upon the authors and not upon the IEEE, the Society/Council, or its members. IEEE Corporate Office: 3 Park Avenue, 17th Floor, New York, NY 10016-5997. Piscataway, NJ 08854-4141. NJ Telephone: +1 732 981 0060. Price/Publication Information: Individual copies: IEEE members $20.00 (first copy only), nonmembers $123.00 per copy. (Note: Postage and handling charge not included.) Member and nonmember subscription prices available on request. Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries are permitted to photocopy for private use of patrons, provided the per-copy fee indicated in the code at the bottom of the first page is paid through the Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA 01923. For all other copying, reprint, or republication permission, write to Copyrights and Permissions Department, IEEE Publications Administration, 445 Hoes Lane, Piscataway, NJ 08854-4141. Copyright © 2011 by The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Periodicals Postage Pending at New York, NY and at additional mailing offices. Postmaster: Send address changes to IEEE EMBEDDED SYSTEMS LETTERS, IEEE, 445 Hoes Lane, Piscataway, NJ 08854-4141. GST Registration No. 125634188. CPC Sales Agreement #40013087. Return undeliverable Canada addresses to: Pitney Bowes IMEX, P.O. Box 4332, Stanton Rd., Toronto, ON M5W 3J4, Canada. IEEE prohibits discrimination, harassment and bullying. For more information visit http://www.ieee.org/ nondiscrimination. Printed in U.S.A.

Digital Object Identiﬁer 10.1109/LES.2011.2179870