Upload
others
View
2
Download
0
Embed Size (px)
Citation preview
IEEE Catalog Number: ISBN:
CFP13162-PRT 978-1-4673-5071-6
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE 2013)
Grenoble, France 18 – 22 March 2013
Pages 1-618
1/3
Table of Contents
Design, Automation and Test in Europe Conference and Exhibition - DATE 2013
Keynotes Smart Systems for Internet of Things ........................................................................................................ 1
Benedetto Vigna Creating a Sustainable Information and Communication Infrastructure...................................................... 2
Massoud Pedram 2.2 Acceleration and Verification of ESL and Analog Systems Moderators: Alper Sen - Bogazici University, TR; Daniel Grosse - University of Bremen, DE Optimized Out-of-Order Parallel Discrete Event Simulation Using Predictions........................................... 3
Weiwei Chen and Rainer Doemer
Parallel Programming with SystemC for Loosely Timed Models: A Non-Intrusive Approach ..................... 9 Matthieu Moy
Accuracy vs Speed Tradeoffs in the Estimation of Fixed-Point Errors on Linear Time-Invariant Systems ..................................................................................................................................................... 15
David Novo, Sara El Alaoui and Paolo Ienne Runtime Verification of Nonlinear Analog Circuits Using Incremental Time-Augmented RRT Algorithm.................................................................................................................................................... 21
Seyed Nematollah Ahmadyan, Jayanand Asok Kumar and Shobha Vasudevan An Automated Parallel Simulation Flow for Heterogeneous Embedded Systems .................................... 27
Seyed Hosein Attarzadeh Niaki and Ingo Sander Mutation Analysis with Coverage Discounting........................................................................................... 31
Peter Lisherness, Nicole Lesperance and Kwang-Ting (Tim) Cheng Scalable Fault Localization for SystemC TLM Designs............................................................................. 35
Hoang M. Le, Daniel Große and Rolf Drechsler
2.3 Energy Optimization in Multi-core Systems Moderators: Thidapat Chantem - Utah State University, US; William Fornaciari - Politecnico di Milano, IT Cherry-Picking: Exploiting Process Variations in Dark-Silicon Homogeneous Chip Multi-Processors ........................................................................................................................................ 39
Bharathwaj Raghunathan, Yatish Turakhia, Siddharth Garg and Diana Marculescu
Energy Optimization with Worst-Case Deadline Guarantee for Pipelined Multiprocessor Systems ...................................................................................................................................................... 45
Gang Chen, Kai Huang, Christian Buckl and Alois Knoll
Self-Adaptive Hybrid Dynamic Power Management for Many-Core Systems........................................... 51 Muhammad Shafique, Benjamin Vogel and Jörg Henkel
SmartCap: User Experience-Oriented Power Adaptation for Smartphone’s Application Processor ................................................................................................................................................... 57
Xueliang Li, Guihai Yan, Yinhe Han and Xiaowei Li
Runtime Power Estimation of Mobile AMOLED Displays.......................................................................... 61 Dongwon Kim, Wonwoo Jung and Hojung Cha
2.4 Memory and Cache Architectures Moderators: Georgi Gaydadjiev - Chalmers University of Technology, SE; Todd Austin - Michigan University Ann Arbor, US AVICA: An Access-time Variation Insensitive L1 Cache Architecture....................................................... 65
Seokin Hong and Soontae Kim
Dual-addressing Memory Architecture for Two-dimensional Memory Access Patterns............................ 71 Yen-Hao Chen and Yi-Yu Liu
Adaptive Cache Management for a Combined SRAM and DRAM Cache Hierarchy for Multi-cores........ 77 Fazal Hameed, Lars Bauer and Jörg Henkel
Combining RAM Technologies for Hard-error Recovery in L1 Data Caches Working at Very-low Power Modes .............................................................................................................................................. 83
Vicente Lorente, Alejandro Valero, Julio Sahuquillo, Salvador Petit, Ramon Canal, Pedro López and José Duato
A Dual Grain Hit-Miss Detector for Large Die-Stacked DRAM Caches .................................................... 89 Michel El-Nacouzi, Islam Atta, Myrto Papadopoulou, Jason Zebchuk, Natalie Enright Jerger and Andreas Moshovos
Reducing Writes in Phase-Change Memory Environments by Using Efficient Cache Replacement Policies....................................................................................................................................................... 93
Roberto Rodríguez- Rodríguez, Fernando Castro, Daniel Chaver, Luis Pinuel and Francisco Tirado
2.5 Communications, Multimedia, and Consumer Electronics Moderators: Theocharis Theocharides - University of Cyprus, CY; Amer Baghdadi - Telecom Bretagne/ Lab-STICC, FR Low Complexity QR-Decomposition Architecture Using the Logarithmic Number System ....................................................................................................................................................... 97
Jochen Rust, Frank Ludwig and Steffen Paul Perceptual Quality Preserving SRAM Architecture for Color Motion Pictures......................................... 103
Wen Yueh, Minki Cho and Saibal Mukhopadhyay
Parameterized Area-efficient Multi-standard Turbo Decoder ................................................................... 109 Purushotham Murugappa, Amer Baghdadi and Michel Jézéquel
An H.264 Quad-FullHD Low-Latency Intra Video Encoder ...................................................................... 115
Muhammad Usman Karim Khan, Jan Micha Borrmann, Lars Bauer, Muhammad Shafique and Jörg Henkel
A 100 GOPS ASP Based Baseband Processor for Wireless Communication......................................... 121 Zhu Ziyuan, Tang Shan, Su Yongtao, Han Juan, Sun Gang and Shi Jinglin
Hardware-Software Collaborative Complexity Reduction Scheme for the Emerging HEVC Intra Encoder ............................................................................................................................................ 125
Muhammad Usman Karim Khan, Muhammad Shafique, Mateus Grellert and Jörg Henkel
2.6 HOT TOPIC: Reliability Challenges of Real-time Systems in Forthcoming Technology Nodes Organizers and Moderators: Said Hamdioui - Delft University of Technology, NL; Dimitris Gizopoulos – University of Athens, GR Reliability Challenges of Real-Time Systems in Forthcoming Technology Nodes................................... 129
Said Hamdioui, Dimitris Gizopoulos, Groeseneken Guido, Michael Nicolaidis, Arnaud Grasset, Philippe Bonnot
2.7 Safety Critical Real-Time Systems Moderators: Michael Paulitsch - EADS, DE; Giuseppe Lipari - ENS – Cachan, FR Sensitivity Analysis for Arbitrary Activation Patterns in Real-time Systems ............................................ 135
Moritz Neukirchner, Sophie Quinton, Tobias Michaels, Philip Axer and Rolf Ernst PT-AMC: Integrating Preemption Thresholds into Mixed-Criticality Scheduling ..................................... 141
Qingling Zhao, Zonghua Gu and Haibo Zeng An Elastic Mixed-Criticality Task Model and Its Scheduling Algorithm.................................................... 147
Hang Su and Dakai Zhu An Open Platform for Mixed-Criticality Real-time Ethernet ..................................................................... 153
Gonzalo Carvajal and Sebastian Fischmeister
2.8 HOT TOPIC: IP Subsystems: The Next Productivity Wave? Organizers and Moderators: Wido Kruijtzer - Synopsys, NL; Luciano Lavagno – Politecnico di Torino, IT Modular SoC Integration with Subsystems: The Audio Subsystem Case............................................... 157
Pieter van der Wolf and Ruud Derwig
Configurability in IP Subsystems: Baseband Examples .......................................................................... 163 Pierre-Xavier Thomas, Grant Martin, David Heine, Dennis Moolenaar, and James Kim
Configurable IO Integration to Reduce System-on-Chip Time to Market: DDR, PCIe Examples ........................................................................................................................................ 169
Frank Martin and Peter Bennett
High-performance Imaging Subsystems and Their Integration in Mobile Devices................................... 170 Menno Lindwer and Mark Ruvald Pedersen
3.2 PANEL: The Heritage of Mead & Conway: What Has Remained the Same, What Was Missed, What Has Changed, What Lies Ahead .......................................................................... 171 Organizer: Marco Casale-Rossi - Synopsys, US Moderators: Alberto Sangiovanni-Vincentelli - UCB, US; Marco Casale-Rossi - Synopsys, US Panelists: Luca Carloni, Bernard Courtois, Hugo de Man, Antun Domic, and Jan Rabaey
3.3 Addressing Process and Delay Variation in High-Level Synthesis Moderators: Lars Bauer - Karlsruhe Institute of Technology, DE; Hiroyuki Tomiyama - Ritsumeikan University, JP Profit Maximization through Process Variation Aware High Level Synthesis with Speed Binning.......... 176
Zhao Mengying, Orailoglu Alex and Xue Chun Jason Instruction-Set Extension under Process Variation and Aging Effects.................................................... 182
Yuko Hara-Azumi, Farshad Firouzi, Saman Kiamehr and Mehdi Tahoori Multispeculative Additive Trees in High-Level Synthesis ........................................................................ 188
Alberto A. Del Barrio, Roman Hermida, Seda Ogrenci Memik, Jose M. Mendis and MarÌa C. Molina
Multi-Pumping for Resource Reduction in FPGA High-Level Synthesis ................................................. 194
Andrew Canis, Jason H. Anderson and Stephen D. Brown
Resource-Constrained High-Level Datapath Optimization in ASIP Design ............................................ 198 Yuankai Chen and Hai Zhou
3.4 Microarchitectural Techniques for Reliability Moderators: Todd Austin - Michigan University Ann Arbor, US; Mladen Berekovic - Technical University of Braunschweig, DE Extracting Useful Computation from Error-Prone Processors for Streaming Applications...................... 202
Yavuz Yetim, Margaret Martonosi and Sharad Malik Orchestrator: A Low-cost Solution to Reduce Voltage Emergencies for Multi-threaded Applications .... 208
Xing Hu, Guihai Yan, Yu Hu and Xiaowei Li
Memory Array Protection: Check on Read or Check on Write? ............................................................. 214 Panagiota Nikolaou, Yiannakis Sazeides, Lorena Ndreu, Emre Özer and Sachin Idgunji
FaulTM: Error Detection and Recovery Using Hardware Transactional Memory ................................... 220
Gulay Yalcin, Osman Unsal and Adrian Cristal Phoenix: Reviving MLC Blocks as SLC to Extend NAND Flash Devices Lifetime .................................. 226
Xavier Jimenez, David Novo and Paolo Ienne
3.5 Energy Efficient Mobile and Cloud Computing Systems Moderators: Tajana Rosing - University of California San Diego, US; Theocharis Theocharides – University of Cyprus, CY SCC Thermal Model Identification via Advanced Bias-Compensated Least-Squares ............................ 230
Roberto Diversi, Andrea Bartolini, Andrea Tilli, Francesco Beneventi and Luca Benini
System and Circuit Level Power Modeling of Energy-Efficient 3D-Stacked Wide I/O DRAMs............................................................................................................................................... 236
Karthik Chandrasekar, Christian Weis, Benny Akesson, Norbert Wehn and Kees Goossens Design of Low Energy, High Performance Synchronous and Asynchronous 64-Point FFT .................. 242
William Lee, Vikas S. Vij, Anthony R. Thatcher and Kenneth S. Stevens A Multi-Level Monte Carlo FPGA Accelerator for Option Pricing in the Heston Model ........................... 248
Christian de Schryver, Pedro Torruella and Norbert Wehn
Non-Speculative Double-Sampling Technique to Increase Energy-Efficiency in a High- Performance Processor ........................................................................................................................... 254
Junyoung Park, Ameya Chaudhari and Jacob A. Abraham
User-Aware Energy Efficient Streaming Strategy for Smartphone Based Video Playback Applications.............................................................................................................................................. 258
Hao Shen and Qinru Qiu
Utility-Aware Deferred Load Balancing in the Cloud Driven by Dynamic Pricing of Electricity ............... 262 Muhammad Abdullah Adnan and Rajesh Gupta
Leakage and Temperature Aware Server Control for Improving Energy Efficiency in Data Centers..................................................................................................................................................... 266
Marina Zapater, José L. Ayala, José M. Moya, Kalyan Vaidyanathan, Kenny Gross and Ayse K. Coskun
3.6 Dealing with Timing Variation in Advanced Technologies Moderators: Hans Manhaeve - Ridgetop Europe, BE; Saqib Khursheed - University of Southampton, UK MTTF-Balanced Pipeline Design ............................................................................................................. 270
Fabian Oboril and Mehdi B.Tahoori
Efficient Variation-Aware Statistical Dynamic Timing Analysis for Delay Test Applications ................... 276 Marcus Wagner and Hans-Joachim Wunderlich
SlackProbe: A Low Overhead In Situ On-line Timing Slack Monitoring Methodology ............................ 282
Liangzhen Lai, Vikas Chandra, Robert Aitken and Puneet Gupta
Capturing Post-Silicon Variation by Layout-aware Path-delay Testing .................................................... 288 Xiaolin Zhang, Jing Ye, Yu Hu and Xiaowei Li
Adaptive Reduction of the Frequency Search Space for Multi-Vdd Digital Circuits ................................. 292 Chandra K.H. Suresh, Ender Yilmaz, Sule Ozev and Ozgur Sinanoglu
3.7 Timing Analysis Moderators: Stefan Petters - CISTER/INESC-TEC, ISEP, PT; Michael Paulitsch - EADS, DE FIFO Cache Analysis for WCET Estimation: A Quantitative Approach................................................... 296
Nan Guan, Xinping Yang, Mingsong Lv and Wang Yi
Timing Analysis of Multi-Mode Applications on AUTOSAR Conform Multi-Core Systems ..................... 302 Mircea Negrean, Sebastian Klawitter, Rolf Ernst
Bounding SDRAM Interference: Detailed Analysis vs. Latency-Rate Analysis ........................................ 308 Hardik Shah, Alois Knoll and Benny Akesson
3.8 HOT TOPIC: Design for Variability, Manufacturability, Reliability, and Debug: Many Faces of the Same Coin? Organizer: Vikas Chandra - ARM, US Moderators: Vikas Chandra - ARM, US; Kartik Mohanram - University of Pittsburgh, US Role of Design in Multiple Patterning: Technology Development, Design Enablement and Process Control ....................................................................................................................................... 314
Rani S. Ghaida and Puneet Gupta
Overcoming Post-Silicon Validation Challenges through Quick Error Detection (QED) ........................ 320 David Lin, Ted Hong, Yanjing Li, Farzan Fallah, Donald S. Gardner, Nagib Hakim and Subhasish Mitra
Stochastic Degradation Modeling and Simulation for Analog Integrated Circuits in Nanometer CMOS .................................................................................................................................... 326
Georges Gielen and Elie Maricau
4.2 The Quest for Better NoCs Moderators: Pascal Vivet - CEA-LETI, FR; Riccardo Locatelli - ST Microelectronics, FR A Transition-Signaling Bundled Data NoC Switch Architecture for Cost-effective GALS Multicore Systems.................................................................................................................................... 332
Alberto Ghiribaldi, Davide Bertozzi and Steven M. Nowick
SMART: A Single-Cycle Reconfigurable NoC for SoC Applications ....................................................... 338 Chia-Hsin Owen Chen, Sunghyun Park, Tushar Krishna, Suvinay Subramanian, Anantha P. Chandrakasan and Li-Shiuan Peh
Switch Folding: Network-on-Chip Routers with Time-Multiplexed Output Ports ...................................... 344
G. Dimitrakopoulos, N. Georgiadis, C. Nicopoulos and E. Kalligeros An Efficient Network-on-Chip Architecture Based on Isolating Local and Non-Local Communications ....................................................................................................................................... 350
Vahideh Akhlaghi, Mehdi Kamal, Ali Afzali-Kusha and Massoud Pedram
SVR-NoC: A Performance Analysis Tool for Network-on-Chips Using Learning-based Support Vector Regression Model............................................................................................................ 354
Zhiliang Qian, Da-Cheng Juan, Paul Bogdan, Chi-Ying Tsui, Diana Marculescu and Radu Marculescu
4.3 EMBEDDED TUTORIAL: Reliability Analysis Reloaded: How Will We Survive? Organizers: Goerschwin Fey - University of Bremen, DE; Matteo Sonza Reorda - Politecnico di Torino, IT Moderators: Bernd Becker - University of Freiburg, DE; Xavier Vera - Intel, ES Reliability Analysis Reloaded: How Will We Survive? ............................................................................. 358
Robert Aitken, Görschwin Fey, Zbigniew T. Kalbarczyk, Frank Reichenbach, Matteo Sonza Reorda
4.4 Emerging Solutions to Manage Energy/Performance Trade-Offs along the Memory Hierarchy Moderators: Mladen Berekovic - Technical University of Braunschweig, DE; Cristina Silvano – Politecnico di Milano, IT MALEC: A Multiple Access Low Energy Cache ....................................................................................... 368
Matthias Boettcher, Giacomo Gabrielli, Bashir M. Al-Hashimi and Danny Kershaw TreeFTL: Efficient RAM Management for High Performance of NAND Flash-based Storage Systems ................................................................................................................................................... 374
Chundong Wang and Weng-Fai Wong
DA-RAID-5: A Disturb Aware Data Protection Technique for NAND Flash Storage Systems ................. 380 Jie Guo, Wujie Wen, Yaojun Zhang Li, Sicheng Li, Hai Li and Yiran Chen
Exploiting Subarrays inside a Bank to Improve Phase Change Memory Performance ........................... 386
Jianhui Yue and Yifeng Zhu
Future of GPGPU Micro-Architectural Parameters................................................................................... 392 Cedric Nugteren, Gert-Jan van den Braak and Henk Corporaal
Synchronizing Code Execution on Ultra-Low-Power Embedded Multi-Channel Signal Analysis Platforms .................................................................................................................................... 396
Ahmed Yasir Dogan, Rubén Braojos, Jeremy Constantin, Giovanni Ansaloni, Andreas Burg and David Atienza
Using Synchronization Stalls in Power-aware Accelerators ..................................................................... 400
Ali Jooya and Amirali Baniasadi
4.5 Device Identification and Protection Moderators: Patrick Koeberl - Intel Labs, DE; Roel Maes - Intrinsic-ID, NL Comprehensive Analysis of Software Countermeasures against Fault Attacks....................................... 404
Nikolaus Theißing, Dominik Merli, Michael Smola, Frederic Stumpf and Georg Sigl An EDA-Friendly Protection Scheme against Side-Channel Attacks ...................................................... 410
Ali Galip Bayrak, Nikola Velickovic, Francesco Regazzoni, David Novo, Philip Brisk and Paolo Ienne
Design and Implementation of a Group-based RO PUF .......................................................................... 416
Chi-En Yin, Gang Qu and Qiang Zhou ClockPUF: Physical Unclonable Functions Based on Clock Networks .................................................... 422
Yida Yao, MyungBo Kim, Jianmin Li, Igor L. Markov and Farinaz Koushanfar Memristor PUFs: A New Generation of Memory-based Physically Unclonable Functions ...................... 428
Patrick Koeberl, Ünal Kocabaş and Ahmad-Reza Sadeghi Wireless Sensor Network Simulation for Security and Performance Analysis ......................................... 432
A. Díaz, P. Sanchez, J. Sancho and J. Rico
4.6 New Techniques for Test Pattern Generation Moderators: Sudhakar Reddy - University of Iowa, US; Matteo Sonza Reorda - Politecnico di Torino, IT Accurate QBF-based Test Pattern Generation in Presence of Unknown Values .................................... 436
Stefan Hillebrecht, Michael A. Kochte, Dominik Erb, Hans-Joachim Wunderlich and Bernd Becker
Test Solution for Data Retention Faults in Low-Power SRAMs............................................................... 442
L. B. Zordan, A. Bosio, L. Dilillo, P. Girard, A. Todri, A. Virazel and N. Badereddine Efficient SAT-based Dynamic Compaction and Relaxation for Longest Sensitizable Paths.................... 448
Matthias Sauer, Sven Reimer, Tobias Schubert, Ilia Polian and Bernd Becker Process-Variation-Aware Iddq Diagnosis for Nano-Scale CMOS Designs - The First Step .................... 454
Chia-Ling (Lynn) Chang, Charles H.-P. Wen and Jayanta Bhadra
4.7 HOT TOPIC: Security Challenges in Automotive Hardware/Software Architecture Design Organizer: Samarjit Chakraborty - TU Munich, DE Moderators: Jason Xue - City Univ. of Hong Kong, HK; Dip Goswami - TU Munich, DE Security Challenges in Automotive Hardware/Software Architecture Design .......................................... 458
Florian Sagstetter, Martin Lukasiewycz, Sebastian Steinhorst; Marko Wolf, Alexandre Bouard, William R. Harris, Somesh Jha, Thomas Peyrin, Axel Poschmann, Samarjit Chakraborty
5.1 HOT TOPIC - System Approaches to Energy-Efficiency Organizer: Ahmed Jerraya - CEA-LETI-MINATEC, FR Moderators: Patrick Blouet - ST Ericsson, FR; Ahmed Jerraya - CEA-LETI-MINATEC, FR Experiences with Mobile Processors for Energy Efficient HPC................................................................ 464
Nikola Rajovic, Alejandro Rico, James Vipond, Isaac Gelado, Nikola Puzovic and Alex Ramirez
What Designs for Coming Supercomputers? ......................................................................................... 469
Xavier Vigouroux Energy-Efficient In-Memory Database Computing ................................................................................... 470
Wolfgang Lehner Performance Analysis of HPC Applications on Low-Power Embedded Platforms................................... 475
Luka Stanisic, Brice Videau, Johan Cronsioe, Augustin Degomme, Vania Marangozova- Martin, Arnaud Legrand, Jean-François Méhaut
5.2 PANEL: Can Energy Harvesting Deliver Enough Power for Automotive Electronics? Organizers: Tom Kazmierski - University of Southampton, UK; Christoph Grimm – TU Kaiserslautern, DE Moderators: Peter Neumann - Edacentrum, DE; Norbert Wehn - TU Kaiserslautern, DE Alternative Power Supply Concepts for Self-Sufficient Wireless Sensor Nodes by Energy Harvesting................................................................................................................................................ 481
Robert Kappel, Günter Hofer, Gerald Holweg, Thomas Herndl Adaptable, High Performance Energy Harvesters................................................................................... 482
Paul D. Mitcheson Ultra-Low Power: An EDA Challenge ....................................................................................................... 483
Christoph Grimm, Javier Moreno, Xiao Pan DoE-based Performance Optimization of Energy Management in Sensor Nodes Powered by Tunable Energy-Harvesters ................................................................................................................. 484
Tom J Kazmierski, Leran Wang, Bashir Al-Hashimi, Geoff Merrett 5.3 Post-Silicon Debug Techniques Moderators: Jaan Raik - Tallinn University of Technology, EE; Adrian Evans - iRoC Technologies, FR A Hybrid Approach for Fast and Accurate Trace Signal Selection for Post-Silicon Debug..................... 485
Min Li and Azadeh Davoodi
Machine Learning-based Anomaly Detection for Post-silicon Bug Diagnosis......................................... 491 Andrew DeOrio, Qingkun Li, Matthew Burgess and Valeria Bertacco
Space Sensitive Cache Dumping for Post-silicon Validation.................................................................... 497
Sandeep Chandran, Smruti R. Sarangi and Preeti Ranjan Panda
Fast and Accurate BER Estimation Methodology for I/O Links Based on Extreme Value Theory............................................................................................................................................. 503
Alessandro Cevrero, Nestor Evmorfopoulos, Charalampos Antoniadis, Paolo Ienne, Yusuf Leblebici, Andreas Burg and George Stamoulis
Automated Determination of Top Level Control Signals........................................................................... 509
Rohit Kumar Jain, Praveen Tiwari and Soumen Ghosh
5.4 Novel Approaches for Real-Time Architectures Moderators: Cristina Silvano - Politecnico di Milano, IT; Andreas Moshovos - University of Toronto, CA A Cache Design for Probabilistically Analysable Real-time Systems...................................................... 513
Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones and Francisco J. Cazorla
MARTHA: Architecture for Control and Emulation of Power Electronics and Smart Grid Systems ........ 519 Michel A. Kinsy, Ivan Celanovic, Omer Khan and Srinivas Devadas
Conservative Open-Page Policy for Mixed Time-Criticality Memory Controllers ..................................... 525 Sven Goossens, Benny Akesson and Kees Goossens
An Efficient and Flexible Hardware Support for Accelerating Synchronization Operations on the STHORM Many-Core Architecture ................................................................................................ 531
Farhat Thabet, Yves Lhuillier, Caaliph Andriamisaina, Jean-Marc Philippe and Raphaël David
5.5 Error-Aware Adaptive Modern Computing Architectures Moderators: Marco Santambroglio - Politecnico di Milano, IT; Marian Verhelst - Katholieke Universiteit Leuven, BE Hot-Swapping Architecture with Back-biased Testing for Mitigation of Permanent Faults in Functional Unit Array ................................................................................................................................ 535
Zoltán Endre Rákossy, Masayuki Hiromoto, Hiroshi Tsutsui, Takashi Sato, Yukihiro Nakamura and Hiroyuki Ochi
Variation-tolerant OpenMP Tasking on Tightly-coupled Processor Clusters .......................................... 541
Abbas Rahimi, Andrea Marongiu, Paolo Burgio, Rajesh K.Gupta and Luca Benini Accurate and Efficient Reliability Estimation Techniques during ADL-Driven Embedded Processor Design..................................................................................................................................... 547
Zheng Wang, Kapil Singh, Chao Chen and Anupam Chattopadhyay 5.6 Advances in Mixed-Signal, RF, and MEMS Testing Moderators: Salvador Mir - TIMA Laboratory, FR; Adoración Rueda - University of Seville, ES Handling Discontinuous Effects in Modeling Spatial Correlation of Wafer-level Analog/RF Tests ...................................................................................................................................... 553
Ke Huang, Nathan Kupp, John M. Carulli, Jr. and Yiorgos Makris Fault Detection, Real-Time Error Recovery, and Experimental Demonstration for Digital Microfluidic Biochips ................................................................................................................................ 559
Kai Hu, Bang-Ning Hsu, Andrew Madison, Krishnendu Chakrabarty and Richard Fair Fault Analysis and Simulation of Large Scale Industrial Mixed-Signal Circuits....................................... 565
Ender Yilmaz, Geoff Shofner, LeRoy Winemberg and Sule Ozev
Electrical Calibration of Spring-Mass MEMS Capacitive Accelerometers............................................... 571 Lingfei Deng, Vinay Kundur, Naveen Sai Jangala Naga, Muhlis Kenan Ozel, Ender Yilmaz, Sule Ozev, Bertan Bakkaloglu, Sayfe Kiaei, Divya Pratab and Tehmoor Dar
5.7 Compilers and Software Synthesis for Embedded Systems Moderators: Björn Franke - University of Edinburgh, UK; Heiko Falk - Ulm University, DE Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA .................................................................................................................................................. 575
Christophe Alias, Alain Darte and Alexandru Plesco
Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation.............................................................................................................................. 581
Reinhard von Hanxleden, Michael Mendler, Joaquin Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer and Owen O'Brien
Fast and Accurate Cache Modeling in Source-Level Simulation of Embedded Software........................ 587
Zhonglei Wang and Jörg Henkel Automatic and Efficient Heap Data Management for Limited Local Memory Multicore Architectures ............................................................................................................................................. 593
Ke Bai and Aviral Shrivastava Software Enabled Wear-Leveling for Hybrid PCM Main Memory on Embedded Systems ...................... 599
Jingtong Hu, Qingfeng Zhuge, Chun Jason Xue, Wei-Che Tseng, and Edwin H.-M.Sha Probabilistic Timing Analysis on Conventional Cache Designs............................................................... 603
Leonidas Kosmidis, Charlie Curtsinger, Eduardo Quiñones, Jaume Abella, Emery Berger and Francisco J. Cazorla
6.1 EMBEDDED TUTORIAL - HW-SW Architecture Approaches to Energy-Efficiency Organizer: Ahmed Jerraya - CEA-LETI-MINATEC, FR Moderators: Agnès Fritsch - Thales Group, FR; Ahmed Jerraya - CEA-LETI-MINATEC, FR HW-SW Integration for Energy-Efficient/Variability-Aware Computing.................................................... 607
Gasser Ayad, Andrea Acquaviva, Enrico Macii, Brahim Sahbi, Romain Lemaire
6.2 HOT TOPIC: Emerging Nanoscale Devices: A Booster for High Performance Computing Organizers: Pierre-Emmanuel Gaillardon - EPFL, CH; Giovanni De Micheli - EPFL, CH Moderators: Giovanni De Micheli - EPFL, CH; Ahmed Jerraya - CEA, LETI, Minatec, FR Near-Threshold Voltage Design in Nanoscale CMOS............................................................................. 612
Vivek De Ultra-Wide Voltage Range Designs in Fully-Depleted Silicon-On-Insulator FETs .................................. 613
E. Beigne, A. Valentian, B. Giraud, O. Thomas, T. Benoist, Y. Thonnart, S. Bernard, G. Moritz, O. Billoint, Y. Maneglia, P. Flatresse, J.P. Noel, F. Abouzeid, B. Pelloux- Prayer, A. Grover, S. Clerc, P. Roche, J. Le Coz, S. Engels and R. Wilson
Carbon Nanotube Circuits: Opportunities and Challenges...................................................................... 619
Hai Wei, Max Shulaker, Gage Hills, Hong-Yu Chen, Chi-Shuen Lee, Luckshitha Liyanage, Jie Zhang, H.-S. Philip Wong and Subhasish Mitra
Vertically-Stacked Double-Gate Nanowire FETs with Controllable Polarity: From Devices to Regular ASICs ......................................................................................................................................... 625
Pierre-Emmanuel Gaillardon, Luca Gaetano Amarù, Shashikanth Bobba, Michele De Marchi, Davide Sacchetto, Yusuf Leblebici and Giovanni De Micheli
6.3 Verification and Simulation Support for Architecture Moderators: Valeria Bertacco - University of Michigan, US; Elena Vatajelu - LIRMM, FR On-the-fly Verification of Memory Consistency with Concurrent Relaxed Scoreboards ......................... 631
Leandro S. Freitas, Eberle A. Rambo and Luiz C. V. dos Santos Fast Cache Simulation for Host-Compiled Simulation of Embedded Software....................................... 637
Kun Lu, Daniel Müller-Gritschneder and Ulf Schlichtmann A Critical-Section-Level Timing Synchronization Approach for Deterministic Multi-Core Instruction-Set Simulations ...................................................................................................................... 643
Fan-Wei Yu, Bo-Han Zeng, Yu-Hung Huang, Hsin-I Wu, Che-Rung Lee and Ren-Song Tsay
Multi-level Phase Analysis for Sampling Simulation................................................................................ 649
Jiaxin Li, Weihua Zhang, Haibo Chen and Binyu Zang Hypervised Transient SPICE Simulations of Large Netlists & Workloads on Multi-Processor Systems ................................................................................................................................................... 655
Grigorios Lyras, Dimitrios Rodopoulos, Antonis Papanikolaou and Dimitrios Soudris
6.4 Design Space Exploration for Application Specific Architectures Moderators: Andreas Moshovos - University of Toronto, CA; Georgi Gaydadjiev - Chalmers University of Technology, SE A Meta-Model Assisted Coprocessor Synthesis Framework for Compiler/Architecture Parameters Customization....................................................................................................................... 659
Sotirios Xydis, Gianluca Palermo, Vittorio Zaccaria and Cristina Silvano Energy-Efficient Memory Hierarchy for Motion and Disparity Estimation in Multiview Video Coding ............................................................................................................................................ 665
Felipe Sampaio, Bruno Zatt, Muhammad Shafique, Luciano Agostini, Sergio Bampi and Jörg Henkel
Improving Simulation Speed and Accuracy for Many-Core Embedded Platforms with Ensemble Models .................................................................................................................................... 671
E. Paone, N. Vahabi, V. Zaccaria, C. Silvano, D. Melpignano, G. Haugou and T. Lepley Statically-scheduled Application-specific Processor Design: A Case-study on MMSE MIMO Equalization................................................................................................................................... 677
Mostafa Rizk, Amer Baghdadi, Michel Jézéquel, Yasser Mohana and Youssef Atat Exploring Resource Mapping Policies for Dynamic Clustering on NoC-based MPSoCs........................ 681
Gustavo Girão, Thiago Santini and Flávio R. Wagner
Characterizing the Performance Benefits of Fused CPU/GPU Systems Using FusionSim .................... 685 Vitaly Zakharenko, Tor Aamodt and Andreas Moshovos
6.5 Reliable Multi-Processor Computing Systems Design Moderators: Jose Ayala - Complutense University of Madrid, ES; Vincenzo Rana - EPFL, CH Reliability-Driven Task Mapping for Lifetime Extension of Networks-on-Chip Based Multiprocessor Systems........................................................................................................................... 689
Anup Das, Akash Kumar and Bharadwaj Veeravalli A Work-Stealing Scheduling Framework Supporting Fault Tolerance .................................................... 695
Yizhuo Wang, Weixing Ji, Feng Shi and Qi Zuo
A Cost-Effective Selective TMR for Heterogeneous Coarse-Grained Reconfigurable Architectures Based on DFG-Level Vulnerability Analysis ...................................................................... 701
Takashi Imagawa, Hiroshi Tsutsui, Hiroyuki Ochi and Takashi Sato CSER: HW/SW Configurable Soft-Error Resiliency for Application Specific Instruction-Set Processors ............................................................................................................................................... 707
Tuo Li, Muhammad Shafique, Semeen Rehman, Swarnalatha Radhakrishnan, Roshan Ragel, Jude Angelo Ambrose, Jörg Henkel and Sri Parameswaran
Reliability Analysis for Integrated Circuit Amplifiers Used in Neural Measurement Systems ................................................................................................................................................... 713
Nico Hellwege, Nils Heidmann, Dagmar Peters-Drolshagen and Steffen Paul On-Line Testing of Permanent Radiation Effects in Reconfigurable Systems ........................................ 717
Luca Cassano, Dario Cozzi, Sebastian Korf, Jens Hagemeyer, Mario Porrmann and Luca Sterpone
An Approach for Redundancy in FlexRay Networks Using FPGA Partial Reconfiguration..................... 721
Shanker Shreejith, Kizheppatt Vipin, Suhaib A Fahmy and Martin Lukasiewycz 6.6 HOT TOPIC: Energy-Efficient Design and Test Techniques for Future Multi-Core Systems Organizer: Krishnendu Chakrabarty - Duke University, US Moderators: Mehdi Tahoori - Karlsruhe Institute of Technology, DE; Paul Pop - Technical University of Denmark, DK Energy-Efficient Multicore Chip Design through Cross-Layer Approach................................................. 725
Paul Wettin, Jacob Murray, Partha Pande, Behrooz Shirazi and Amlan Ganguly Breaking the Energy Barrier in Fault-Tolerant Caches for Multicore Systems ........................................ 731
Paul Ampadu, Meilin Zhang and Vladimir Stojanovic Testing for SoCs with Advanced Static and Dynamic Power-Management Capabilities ........................ 737
Xrysovalantis Kavousianos and Krishnendu Chakrabarty Towards Adaptive Test of Multi-core RF SoCs........................................................................................ 743
Rajesh Mittal, Lakshmanan Balasubramanian, Chethan Kumar Y.B., V. R. Devanathan, Mudasir Kawoosa and Rubin A. Parekhji
6.7 Model-Based Design and Verification for Embedded Systems Moderators: Wang Yi' - Uppsala University, SE; Saddek Bensalem - Verimag, FR A Satisfiability Approach to Speed Assignment for Distributed Real-Time Systems............................... 749
Pratyush Kumar, Devesh B. Chokshi and Lothar Thiele Data Mining MPSoC Simulation Traces to Identify Concurrent Memory Access Patterns...................... 755
Sofiane Lagraa, Alexandre Termier and Frédéric Pétrot Model-Based Energy Optimization of Automotive Control Systems........................................................ 761
Joost-Pieter Katoen, Thomas Noll, Hao Wu, Thomas Santen and Dirk Seifert Formal Analysis of Sporadic Bursts in Real-Time Systems .................................................................... 767
Sophie Quinton, Mircea Negrean and Rolf Ernst
7.1 HOT TOPIC - Many-Core SoC Approaches to Energy-Efficiency Organizer: Ahmed Jerraya - CEA-LETI-MINATEC, FR Moderators: Marc Duranton - CEA, FR; Ahmed Jerraya - CEA-LETI-MINATEC, FR Development of Low Power Many-Core SoC for Multimedia Applications............................................... 773
Takashi Miyamori, Hui Xu, Takeshi Kodaka, Hiroyuki Usui, Toru Sano and Jun Tanabe
SoC Low-Power Practices for Wireless Applications .............................................................................. 778 Nicolas Darbel and Stephane Lecomte
3D Integration for Power-Efficient Computing .......................................................................................... 779
D. Dutoit, E. Guthmuller, I. Miro-Panades
7.2 Formal Verification Algorithms and Models Moderators: Christoph Scholl - University of Freiburg, DE; Jason Baumgartner - IBM, US Verifying Safety and Liveness for the FlexTM Hybrid Transactional Memory.......................................... 785
Parosh Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriraman and Yunyun Zhu
QF_BV Model Checking with Property Directed Reachability ................................................................. 791
Tobias Welp and Andreas Kuehlmann A Semi-Canonical Form for Sequential AIGs ........................................................................................... 797
Alan Mishchenko, Niklas Een, Robert Brayton, Michael Case, Pankaj Chauhan and Nikhil Sharma
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties ................... 803
C. Loiacono, M. Palena, P. Pasini, D. Patti, S. Quer, S. Ricossa, D. Vendraminetto and J. Baumgartner
Using Cubes of Non-state Variables with Property Directed Reachability ............................................... 807
John D. Backes and Marc D. Riedel Bridging the Gap between Dual Propagation and CNF-based QBF Solving ........................................... 811
Alexandra Goultiaeva, Martina Seidl and Armin Biere
7.3 Dynamic Reconfiguration Moderators: Diana Goehringer - Karlsruhe Institute of Technology, DE; Fabrizio Ferrandi - Politecnico di Milano, IT Dynamic Configuration Prefetching Based on Piecewise Linear Prediction ............................................ 815
Adrian Lifa, Petru Eles and Zebo Peng An Automatic Tool Flow for the Combined Implementation of Multi-mode Circuits ................................ 821
Brahim Al Farisi, Karel Bruneel, João M. P. Cardoso and Dirk Stroobandt Support for Dynamic Issue Width in VLIW Processors Using Generic Binaries ...................................... 827
Anthony Brandon and Stephan Wong The RecoBlock SoC Platform: A Flexible Array of Reusable Run-Time-Reconfigurable IP-Blocks ........ 833
Byron Navas, Ingo Sander and Johnny Öberg DANCE: Distributed Application-aware Node Configuration Engine in Shared Reconfigurable Sensor Networks....................................................................................................................................... 839
Chih-Ming Hsieh, Zhonglei Wang and Jörg Henkel
Hybrid Interconnect Design for Heterogeneous Hardware Accelerators.................................................. 843 Cuong Pham-Quoc, Jan Heisswolf, Stephan Werner, Zaid Al-Ars, Jürgen Becker and Koen Bertels
7.4 Emerging Memory Moderators: Ian O'Connor - Lyon Institute of Nanotechnology, FR; Siddharth Garg - University of Waterloo, CA OAP: An Obstruction-Aware Cache Management Policy for STT-RAM Last-Level Caches ................... 847
Jue Wang, Xiangyu Dong and Yuan Xie STT-RAM Designs Supporting Dual-Port Accesses................................................................................ 853
Xiuyuan Bi, Mohamed Anis Weldon and Hai Li Low Cost Power Failure Protection for MLC NAND Flash Storage Systems with PRAM/DRAM Hybrid Buffer ............................................................................................................................................ 859
Jie Guo, Jun Yang, Youtao Zhang and Yiran Chen SPaC: A Segment-based Parallel Compression for Backup Acceleration in Nonvolatile Processors ................................................................................................................................................ 865
Xiao Sheng, Yiqun Wang, Yongpan Liu and Huazhong Yang The Design of Sustainable Wireless Sensor Network Node Using Solar Energy and Phase Change Memory ...................................................................................................................................... 869
Ping Zhou, Youtao Zhang and Jun Yang Optical Look Up Table ............................................................................................................................. 873
Zhen Li, Sébastien Le Beux, Christelle Monat, Xavier Letartre and Ian O’Connor A Verilog-A Model for Reconfigurable Logic Gates Based on Graphene pn-Junctions .......................... 877
Sandeep Miryrala, Mehrdad Montazeri, Andrea Calimera, Enrico Macii and Massimo Poncino
7.5 Energy-efficient Architectures and Software Design for Power-constrained Systems Moderators: Geoff Merrett - University of Southampton, UK; Gangadhar Garipelli - EPFL, CH Optimal Control of a Grid-Connected Hybrid Electrical Energy Storage System for Homes .................. 881
Yanzhi Wang, Xue Lin, Massoud Pedram, Sangyoung Park and Naehyuck Chang Radar Signature in Multiple Target Tracking System for Driver Assistant Application............................ 887
Haisheng Liu and Smail Niar Development of a Fully Implantable Recording System for ECoG Signals.............................................. 893
Jonas Pistor, Janpeter Hoeffmann, David Rotermund, Elena Tolstosheeva, Tim Schellenberg, Dmitriy Boll, Victor Gordillo-Gonzales, Sunita Mandon, Dagmar Peters-Drolshagen, Andreas Kreiter, Martin Schneider, Walter Lang, Klaus Pawelzik and Steffen Paul
A Methodology for Embedded Classification of Heartbeats Using Random Projections ........................ 899
Rubén Braojos, Giovanni Ansaloni and David Atienza A Survy of Multi-Source Energy Harvesting Systems ............................................................................. 905
Alex S. Weddell, Michele Magno, Geoff V. Merrett, Davide Brunelli, Bashir M. Al-Hashimi and Luca Benini
Capital Cost-Aware Design and Partial Shading-Aware Architecture Optimization of a Reconfigurable Photovoltaic System ....................................................................................................... 909
Yanzhi Wang, Xue Lin, Massoud Pedram, Jaemin Kim and Naehyuck Chang
An Ultra-Low Power Hardware Accelerator Architecture for Wearable Computers Using Dynamic Time Warping............................................................................................................................ 913
Reza Lotfian and Roozbeh Jafari Efficient Cache Architectures for Reliable Hybrid Voltage Operation Using EDC Codes ....................... 917
Bojan Maric, Jaume Abella and Mateo Valero
7.6 On-Line Approaches towards Processor Resilience Moderators: Yiorgos Makris - University of Dallas, US; Xavier Vera - Intel, ES Efficient Software-Based Fault Tolerance Approach on Multicore Platforms........................................... 921
Hamid Mushtaq, Zaid Al-Ars and Koen Bertels Using Explicit Output Comparisons for Fault Tolerant Scheduling (FTS) on Modern High- Performance Processors ......................................................................................................................... 927
Yue Gao, Sandeep K. Gupta and Melvin A. Breuer Low Cost Permanent Fault Detection Using Ultra-Reduced Instruction Set Co-Processors ................... 933
Sundaram Ananthanarayan, Siddharth Garg, Hiren D. Patel Improving Fault Tolerance Utilizing Hardware-Software-Co-Synthesis ................................................... 939
Heinz Riener, Stefan Frehse and Görschwin Fey A Dynamic Self-Adaptive Correction Method for Error Resilient Application ........................................... 943
Luming Yan, Huaguo Liang, Zhengfeng Huang
7.7 EMBEDDED TUTORIAL: From Multi-core SoC to Scale-out Processors Organizer: Luca Fanucci - University of PISA, IT Moderators: Marcello Coppola - STMicroelectronics, FR; Luca Fanucci - University of Pisa, IT From Embedded Multi-core SoCs to Scale-out Processors ..................................................................... 947
Marcello Coppola, Babak Falsafi, John Goodacre and George Kornaros
8.1 HOT TOPIC - Fabrication Technology Approaches to Energy-Efficiency Organizer: Ahmed Jerraya - CEA-LETI-MINATEC, FR Moderator: Ahmed Jerraya - CEA-LETI-MINATEC, FR UTBB FD-SOI: A Process/Design Symbiosis for Breakthrough Energy-efficiency ................................. 952
Philippe Magarshack, Philippe Flatresse and Giorgio Cesana Wireless Interconnect for Board and Chip Level ..................................................................................... 958
Gerhard P. Fettweis, Najeeb ul Hassan, Lukas Landau and Erik Fischer Future Memory and Interconnect Technologies ....................................................................................... 964
Yuan Xie
8.2 Scheduling for Real-Time Embedded Systems Moderators: Wido Kruijtzer - Synopsys, NL; Jan Madsen - Technical University of Denmark, DK Optimized Scheduling of Multi-IMA Partitions with Exclusive Region for Synchronized Real- Time Multi-Core Systems.......................................................................................................................... 970
Jung-Eun Kim, Man-Ki Yoon, Sungjin Im, Richard Bradford and Lui Sha
Quality-Aware Media Scheduling on MPSoC Platforms.......................................................................... 976 Deepak Gangadharan, Samarjit Chakraborty and Roger Zimmermann
Priority Assignment for Event-triggered Systems Using Mathematical Programming............................. 982
Martin Lukasiewycz, Sebastian Steinhorst and Samarjit Chakraborty Efficient and Scalable OpenMP-based System-level Design .................................................................. 988
Alessandro Cilardo, Luca Gallo, Antonino Mazzeo and Nicola Mazzocca Utilizing Voltage-Frequency Islands in C-to-RTL Synthesis for Streaming Applications......................... 992
Xinyu He, Shuangchen Li, Yongpan Liu, X. Sharon Hu and Huazhong Yang 8.3 Logic Synthesis Techniques Moderators: Michel Berkelaar - Delft University of Technology, NL; Jordi Cortadella – Universitat Politècnica Catalunya, ES Minimization of P-Circuits Using Boolean Relations................................................................................ 996
Anna Bernasconi, Valentina Ciriani, Gabriella Trucco and Tiziano Villa Intuitive ECO Synthesis for High Performance Circuits......................................................................... 1002
Haoxing Ren, Ruchir Puri, Lakshmi Reddy, Smita Krishnaswamy, Cindy Washburn, Joel Earl and Joachim Keinert
Retiming for Soft Error Minimization under Error-Latching Window Constraints.................................... 1008
Yinghai Lu and Hai Zhou Biconditional BDD: A Novel Canonical BDD for Logic Synthesis Targeting XOR-rich Circuits............. 1014
Luca Amarú, Pierre-Emmanuel Gaillardon and Giovanni De Micheli Optimizing BDDs for Time-Series Dataset Manipulation....................................................................... 1018
Stergios Stergiou and Jawahar Jain Incorporating the Impacts of Workload-Dependent Runtime Variations into Timing Analysis.................................................................................................................................................. 1022
Farshad Firouzi, Saman Kiamehr, Mehdi Tahoori and Sani Nassif
8.4 High-Speed Robust NoCs Moderators: Luca Carloni - Columbia University, US; Georgios Dimitrakopoulos - Thrace University, GR Exploring Topologies for a Source-synchronous Ring-based Network-on-Chip ................................... 1026
Ayan Mandal, Sunil P. Khatri and Rabi N. Mahapatra Proactive Aging Management in Heterogeneous NoCs through a Criticality-driven Routing Approach................................................................................................................................................ 1032
Dean Michael Ancajas, Koushik Chakraborty and Sanghamitra Roy Sensor-wise Methodology to Face NBTI Stress of NoC Buffers ............................................................ 1038
Davide Zoni and William Fornaciari An Area-efficient Network Interface for a TDM-based Network-on-Chip................................................ 1044
Jens Sparsø, Evangelia Kasapaki and Martin Schoeberl CARS: Congestion-Aware Request Scheduler for Network Interfaces in NoC-based Manycore Systems ................................................................................................................................. 1048
Masoud Daneshtalab, Masoumeh Ebrahimi, Juha Plosila and Hannu Tenhunen
8.5 Industrial Experiences with Embedded System Design Moderators: Roberto Zafalon - ST Microelectronics, IT; Ralf Pferdmenges - Infineon Technologies, DE Designing Tightly-coupled Extension Units for the STxP70 Processor................................................. 1052
Yves Janin, Valérie Bertin, Hervé Chauvet, Thomas Deruyter, Christophe Eichwald, Olivier-André Giraud, Vincent Lorquet and Thomas Thery
A Fast and Accurate Methodology for Power Estimation and Reduction of Programmable Architectures .......................................................................................................................................... 1054
Erwan Piriou, Raphaël David, Fahim Rahim and Solaiman Rahim
A Gate Level Methodology for Efficient Statistical Leakage Estimation in Complex 32nm Circuits ................................................................................................................................................... 1056
Smriti Joshi, Anne Lombardot, Marc Belleville, Edith Beigne and Stephane Girard A Near-Future Prediction Method for Low Power Consumption on a Many-Core Processor ............... 1058
Takeshi Kodaka, Akira Takeda, Shunsuke Sasaki, Akira Yokosawa, Toshiki Kizu, Takahiro Tokuyoshi, Hui Xu, Toru Sano, Hiroyuki Usui, Jun Tanabe, Takashi Miyamori and Nobu Matsumoto
Time- and Angle-triggered Real-time Kernel ......................................................................................... 1060 Damien Chabrol, Didier Roux, Vincent David, Mathieu Jan, Moha Ait Hmid, Patrice Oudin and Gilles Zeppa
An Extremely Compact JPEG Encoder for Adaptive Embedded Systems ........................................... 1063 Josef Schneider and Sri Parameswaran
8.6 DfT Methods Moderators: Peter Harrod - ARM, UK; Luigi Dillilo - LIRMM, FR Non-Invasive Pre-Bond TSV Test Using Ring Oscillators and Multiple Voltage Levels........................ 1065
Sergej Deutsch and Krishnendu Chakrabarty
LFSR Seed Computation and Reduction Using SMT-Based Fault-Chaining........................................ 1071 Dhrumeel Bakshi and Michael S. Hsiao
Scan Design with Shadow Flip-flops for Low Performance Overhead and Concurrent Delay Fault Detection........................................................................................................................................ 1077
Sébastien Sarrazin, Samuel Evain, Lirida Alves de Barros Naviner, Yannick Bonhomme and Valentin Gherman
On Candidate Fault Sets for Fault Diagnosis and Dominance Graphs of Equivalence Classes ........... 1083
Irith Pomeranz A Fast and Efficient DFT for Test and Diagnosis of Power Switches in SoCs ....................................... 1089
Xiaoyu Huang, Jimson Mathew, Rishad A Shafik, Subhasis Bhattacharjee and Dhiraj K Pradhan
8.7 Monitoring and Control of Cyber Physical Systems Moderators: Rolf Ernst - Technische Universität Braunschweig, DE; Haibo Zeng - McGill University, CA Control-Quality Driven Design of Cyber-Physical Systems with Robustness Guarantees.................... 1093
Amir Aminifar, Petru Eles, Zebo Peng and Anton Cervin Compositional Analysis of Switched Ethernet Topologies..................................................................... 1099
Reinhard Schneider, Licong Zhang, Dip Goswami, Alejandro Masrur and Samarjit Chakraborty
Supervisor Synthesis for Controller Upgrades....................................................................................... 1105 Johannes Kloos and Rupak Majumdar
Event Density Analysis for Event Triggered Control Systems............................................................... 1111 Tobias Bund, Benjamin Menhorn and Frank Slomka
Model Predictive Control over Delay-Based Differentiated Services Control Networks........................ 1117 Riccardo Muradore, Davide Quaglia and Paolo Fiorini
Multirate Controller Design for Resource- and Schedule-Constrained Automotive ECUs.................... 1123 Dip Goswami, Alejandro Masrur, Reinhard Schneider, Chun Jason Xue and Samarjit Chakraborty
Design of an Ultra-low Power Device for Aircraft Structural Health Monitoring..................................... 1127
Alessandro Perelli, Carlo Caione, Luca De Marchi, Davide Brunelli, Alessandro Marzani and Luca Benini
8.8 HOT TOPIC: Countering Counterfeit Attacks on Micro-Electronics Organizers: Erik Jan Marinissen - IMEC, BE; Ingrid Verbauwhede - KU Leuven, BE Moderators: Steven Jeter - Infineon Technologies, DE; Ingrid Verbauwhede - KU Leuven, BE Qualification and Testing Process to Implement Anti-Counterfeiting Technologies into IC Packages ............................................................................................................................................... 1131
Nathalie Kae-Nune and Stephanie Pesseguier Anti-Counterfeiting with Hardware Intrinsic Security ............................................................................. 1137
Vincent van der Leest and Pim Tuyls
9.1 HOT TOPIC: Smart Grid and Buildings Organizer: Luca Benini - Università di Bologna, IT Moderators: Andrea Acquaviva - Politecnico di Torino, IT; Luca Benini - Università di Bologna, IT Sustainable Energy Policies: Research Challenges and Opportunities ................................................ 1143
Michela Milano Self-aware Cyber-physical Systems and Applications in Smart Buildings and Cities ........................... 1149
Levent Gurgen, Ozan Gunalp, Yazid Benazzouz and Mathieu Galissot Perpetual and Low-cost Power Meter for Monitoring Residential and Industrial Appliances ................. 1155
Danilo Porcarelli, Domenico Balsamo, Davide Brunelli and Giacomo Paci
9.2 System-Level Analysis and Simulation Moderators: Wolfgang Müller - University of Paderborn, DE; Christian Haubelt - University of Rostock, DE Analytical Timing Estimation for Temporally Decoupled TLMs Considering Resource Conflicts ................................................................................................................................................. 1161
Kun Lu, Daniel Müller-Gritschneder and Ulf Schlichtmann
Towards Performance Analysis of SDFGs Mapped to Shared-Bus Architectures Using Model-Checking ..................................................................................................................................... 1167
Maher Fakih, Kim Grüttner, Martin Fränzle and Achim Rettberg
Toward Polychronous Analysis and Validation for Timed Software Architectures in AADL.................. 1173 Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard and Maurice Heitz
Tuning Dynamic Data Flow Analysis to Support Design Understanding............................................... 1179 Jan Malburg, Alexander Finder and Görschwin Fey
Fast and Accurate TLM Simulations Using Temporal Decoupling for FIFO-based Communications .................................................................................................................................... 1185
Claude Helmstetter, Jérôme Cornet, Bruno Galilée, Matthieu Moy and Pascal Vivet
Determining Relevant Model Elements for the Verification of UML/OCL Specifications....................... 1189 Julia Seiter, Robert Wille, Mathias Soeken and Rolf Drechsler
Towards a Generic Verification Methodology for System Models ......................................................... 1193 Robert Wille, Martin Gogolla, Mathias Soeken, Mirco Kuhlmann and Rolf Drechsler
9.3 Thermal/Power Management Techniques for Energy-Efficient Systems Moderators: Wolfgang Nebel - University of Oldenburg, DE; Alberto Macii - Politecnico di Torino, IT A Sub-μA Power Management Circuit in 0.18μm CMOS for Energy Harvesters .................................. 1197
Biswajit Mishra, Cyril Botteron, Gabriele Tasselli, Christian Robert and Pierre-André Farine
Saliency Aware Display Power Management ......................................................................................... 1203
Yang Xiao, Kevin Irick, Vijay Narayanan, Dongwha Shin and Naehyuck Chang
Active-Mode Leakage Reduction with Data-Retained Power Gating ..................................................... 1209 Andrew B. Kahng, Seokhyeong Kang and Bongil Park
A Power-Driven Thermal Sensor Placement Algorithm for Dynamic Thermal Management................. 1215 Hai Wang, Sheldon X.-D. Tan, Sahana Swarup and Xue-Xin Liu
Active Power-Gating-Induced Power/Ground Noise Alleviation Using Parasitic Capacitance of On-Chip Memories.............................................................................................................................. 1221
Xuan Wang, Jiang Xu, Wei Zhang, Xiaowen Wu, Yaoyao Ye, Zhehui Wang, Mahdi Nikdast and Zhe Wang
Adaptive Thermal Management for Portable System Batteries by Forced Convection Cooling .................................................................................................................................................... 1225
Qing Xie, Siyu Yue, Massoud Pedram, Donghwa Shin and Naehyuck Chang
9.4 Emerging Architectures Moderators: Yvain Thonnart - CEA-LETI, FR; Michael Niemier - University of Notre Dame, US Sparse-Rotary Oscillator Array (SROA) Design for Power and Skew Reduction .................................. 1229
Ying Teng and Baris Taskin
Reversible Logic Synthesis of k-Input, m-Output Lookup Tables.......................................................... 1235 Alireza Shafaei, Mehdi Saeedi and Massoud Pedram
3D-MMC: A Modular 3D Multi-Core Architecture with Efficient Resource Pooling................................. 1241
Tiansheng Zhang, Alessandro Cevrero, Giulia Beanato, Panagiotis Athanasopoulos, Ayse K. Coskun and Yusuf Leblebici
Cache Coherence Enabled Adaptive Refresh for Volatile STT-RAM..................................................... 1247
Jianhua Li, Liang Shi, Qing’an Li, Chun Jason Xue, Yiran Chen and Yinlong Xu Is TSV-based 3D Integration Suitable for Inter-die Memory Repair? .................................................... 1251
Mihai Lefter, George R. Voicu, Mottaqiallah Taouil, Marius Enachescu, Said Hamdioui and Sorin D. Cotofana
Thermomechanical Stress-Aware Management for 3D IC Designs....................................................... 1255 Qiaosha Zou, Tao Zhang, Eren Kursun and Yuan Xie
9.5 Manufacturing and Design Security Moderators: Fresco Regazzoni - TU Delft / University of Lugano, CH; Patrick Schaumont - Virginia Tech, US Is Split Manufacturing Secure? .............................................................................................................. 1259
Jeyavijayan (JV) Rajendran, Ozgur Sinanoglu and Ramesh Karri
Trojan Detection via Delay Measurements: A New Approach to Select Paths and Vectors to Maximize Effectiveness and Minimize Cost........................................................................................... 1265
Byeongju Cha and Sandeep K. Gupta High-Sensitivity Hardware Trojan Detection Using Multimodal Characterization.................................. 1271
Kangqiao Hu, Abdullah Nazma Nowroz, Sherief Reda and Farinaz Koushanfar Reverse Engineering Digital Circuits Using Functional Analysis........................................................... 1277
Pramod Subramanyan, Nestan Tsiskaridze, Kanika Pasricha, Dillon Reisman, Adriana Susnea and Sharad Malik
A Practical Testing Framework for Isolating Hardware Timing Channels ............................................. 1281 Jason Oberg, Sarah Meiklejohn, Timothy Sherwood and Ryan Kastner
9.6 Improving IC Quality and Lifetime Though Advanced Characterization Moderators: Rob Aitken - ARM, US; Mehdi Tahoori - Karlsruhe Institute of Technology, DE Threshold Voltage Distribution in MLC NAND Flash Memory: Characterization, Analysis and Modeling ......................................................................................................................................... 1285
Yu Cai, Erich F. Haratsch, Onur Mutlu and Ken Mai
Efficient Importance Sampling for High-sigma Yield Analysis with Adaptive Online Surrogate Modeling................................................................................................................................ 1291
Jian Yao, Zuochang Ye and Yan Wang
Metastability Challenges for 65nm and Beyond; Simulation and Measurements ................................. 1297 Salomon Beer, Ran Ginosar, Jerome Cox, Tom Chaney and David M. Zar
Design and Implementation of an Adaptive Proactive Reconfiguration Technique for SRAM Caches ........................................................................................................................................ 1303
Peyman Pouyan, Esteve Amat, Francesc Moll and Antonio Rubio
9.7 Design and Scheduling Moderators: Giuseppe Lipari - ENS – Cachan, FR; Stefan Petters - CISTER/INESC-TEC, ISEP, PT Architecture and Optimal Configuration of a Real-Time Multi-Channel Memory Controller.................. 1307
Manil Dev Gomony, Benny Akesson and Kees Goossens
Holistic Design Parameter Optimization of Multiple Periodic Resources in Hierarchical Scheduling ............................................................................................................................................. 1313
Man-Ki Yoon, Jung-Eun Kim, Richard Bradford and Lui Sha
Robust and Extensible Task Implementations of Synchronous Finite State Machines.......................... 1319 Qi Zhu, Peng Deng, Marco Di Natale and Haibo Zeng
FBLT: A Real-Time Contention Manager with Improved Schedulability ................................................ 1325 Mohammed Elshambakey and Binoy Ravindran
A Virtual Prototyping Platform for Real-time Systems with a Case Study for a Two-wheeled Robot....................................................................................................................................................... 1331
Daniel Mueller-Gritschneder, Kun Lu, Erik Wallander, Marc Greim and Ulf Schlichtmann
Sufficient Real-Time Analysis for an Engine Control Unit with Constant Angular Velocities................................................................................................................................................. 1335
Victor Pollex, Timo Feld, Frank Slomka, Ulrich Margull, Ralph Mader and Gerhard Wirrer 10.1 HOT TOPIC: Smart Data Centers Design and Optimization Organizer: David Atienza - EPFL, CH Moderators: Roman Hermida - UCM, ES; Ayse Coskun - Boston University, US Roadmap towards Ultimately-Efficient Zeta-Scale Datacenters............................................................. 1339
Patrick Ruch, Thomas Brunschwiler, Stephan Paredes, Ingmar Meijer, and Bruno Michel Correlation-Aware Virtual Machine Allocation for Energy-Efficient Datacenters ................................... 1345
Jungsoo Kim, Martino Ruggiero, David Atienza and Marcel Lederberger Resource Efficient Computing for Warehouse-scale Datacenters ......................................................... 1351
Christos Kozyrakis
10.2 EMBEDDED TUTORIAL: On the Use of GP-GPUs for Accelerating Computing Intensive EDA Applications Organizer: Franco Fummi - University of Verona, IT Moderators: Franco Fummi - University of Verona, IT; Florian Letombe - SpringSoft, FR On the Use of GP-GPUs for Accelerating Compute-intensive EDA Applications .................................. 1357
Valeria Bertacco, Debapriya Chatterjee, Nicola Bombieri, Franco Fummi, Sara Vinco, A. M. Kaushik, Hiren D. Patel
10.3 Thermal Analysis and Power Optimization Techniques Moderators: Siddharth Garg - University of Waterloo, CA; Yiran Chen - University of Pittsburgh, US Substitute-and-Simplify: A Unified Design Paradigm for Approximate and Quality Configurable Circuits.............................................................................................................................. 1367
Swagath Venkataramani, Kaushik Roy and Anand Raghunathan
Enhancing Multicore Reliability through Wear Compensation in Online Assignment and Scheduling ....................................................................................................................................... 1373
Thidapat Chantem, Yun Xiang, X. Sharon Hu and Robert P. Dick NUMANA: A Hybrid Numerical and Analytical Thermal Simulator for 3-D ICs....................................... 1379
Yu-Min Lee, Tsung-Heng Wu, Pei-Yu Huang and Chi-Ping Yang
Explicit Transient Thermal Simulation of Liquid-Cooled 3D ICs ............................................................. 1385 Alain Fourmigue, Giovanni Beltrame and Gabriela Nicolescu
Mitigating Dark Silicon Problems Using Superlattice-based Thermoelectric Coolers ............................ 1391 Francesco Paterna and Sherief Reda
Run-time Probabilistic Detection of Miscalibrated Thermal Sensors in Many-core Systems .................................................................................................................................................. 1395
Jia Zhao, Shiting (Justin) Lu, Wayne Burleson and Russell Tessier
10.4 Abstraction Techniques and SAT/SMT-Based Optimizations Moderators: Fahim Rahim - Atrenta, FR; Julian Schmaltz - Open University of the Netherlands, NL GLA: Gate-Level Abstraction Revisited .................................................................................................. 1399
Alan Mishchenko, Niklas Een, Robert Brayton, Jason Baumgartner, Hari Mony and Pradeep Nalla
Lemma Localization: A Practical Method for Downsizing SMT-Interpolants ......................................... 1405 Florian Pigorsch and Christoph Scholl
Core Minimization in SAT-based Abstraction ......................................................................................... 1411 Anton Belov, Huan Chen, Alan Mishchenko and Joao Marques-Silva
Optimization Techniques for Craig Interpolant Compaction in Unbounded Model Checking ................ 1417 G. Cabodi, C. Loiacono and D. Vendraminetto
Formal Analysis of Steady State Errors in Feedback Control Systems Using HOL-Light...................... 1423
Osman Hasan and Muhammad Ahmad A Novel Concurrent Cache-friendly Binary Decision Diagram Construction for Multi-core Platforms................................................................................................................................................ 1427
Mahmoud Elbayoumi, Michael S. Hsiao and Mustafa ElNainay
10.5 Design and Verification of Mixed-Signal Circuits Moderators: Catherine Dehollain - EPFL, CH; Gunhan Dundar - Bogazici University, TR A Low-Power and Low-Voltage BBPLL-Based Sensor Interface in 130nm CMOS for Wireless Sensor Networks..................................................................................................................... 1431
Jelle Van Rethy, Hans Danneels, Valentijn De Smedt, Wim Dehaene and Georges Gielen
Reachability Analysis of Nonlinear Analog Circuits through Iterative Reachable Set Reduction............................................................................................................................................... 1436
Seyed Nematollah Ahmadyan and Shohba Vasudevan Formal Verification of Analog Circuit Parameters across Variation Utilizing SAT.................................. 1442
Merritt Miller and Forrest Brewer
Extracting Analytical Nonlinear Models from Analog Circuits by Recursive Vector Fitting of Transfer Function Trajectories ................................................................................................. 1448
Dimitri De Jonghe, Dirk Deschrijver, Tom Dhaene and Georges Gielen
Statistical Modeling with the Virtual Source MOSFET Model................................................................ 1454 Li Yu, Lan Wei, Dimitri Antoniadis, Ibrahim Elfadel and Duane Boning
Automatic Circuit Sizing Technique for the Analog Circuits with Flexible TFTs Considering Process Variation and Bending Effects .................................................................................................. 1458
Yen-Lung Chen, Wan-Rong Wu, Guan-Ruei Lu and Chien-Nan Jimmy Liu
10.6 On-Line Testing Techniques Moderators: Cecilia Metra - University of Bologna, IT; Cristiana Bolchini - Politecnico Di Milano, IT On-Line Functionally Untestable Fault Identification in Embedded Processor Cores ............................ 1462
P. Bernardi, M. Bonazza, E. Sanchez, M. Sonza Reorda and O. Ballan
Capturing Vulnerability Variations for Register Files ............................................................................. 1468 Javier Carretero, Enric Herrero, Matteo Monchiero and Tanausú Ramírez and Xavier Vera
Error Detection in Ternary CAMs Using Bloom Filters ........................................................................... 1474 Salvatore Pontarelli, Marco Ottavi, Adrian Evans and Shi-Jie Wen
AVF-driven Parity Optimization for MBU Protection of In-core Memory Arrays ..................................... 1480
Michail Maniatakos, Maria K. Michael and Yiorgos Makris An Enhanced Double-TSV Scheme for Defect Tolerance in 3D-IC ....................................................... 1486
Hsiu-Chuan Shih and Cheng-Wen Wu
Mempack: An Order of Magnitude Reduction in the Cost, Risk, and Time for Memory Compiler Certification.............................................................................................................................. 1490
Kartik Mohanram, Matthew Wartell and Sundar Iyer
Exploiting Replicated Checkpoints for Soft Error Detection and Correction........................................... 1494 Fahrettin Koc, Kenan Bozdas, Burak Karsli and Oguz Ergin
10.7 Embedded Software for Many-Core Architectures Moderators: Oliver Bringmann - University of Tübingen, DE; Sébastien Le Beux - Lyon Institute of Nanotechnology, FR Game-Theoretic Analysis of Decentralized Core Allocation Schemes on Many-Core Systems............ 1498
Stefan Wildermann, Tobias Ziermann and Jürgen Teich Enabling Fine-Grained OpenMP Tasking on Tightly-Coupled Shared Memory Clusters...................... 1504
Paolo Burgio, Giuseppe Tagliavini, Andrea Marongiu and Luca Benini
ARTM: A Lightweight Fork-join Framework for Many-core Embedded Systems ................................... 1510 Maroun Ojail, Raphael David, Yves Lhuillier and Alexandre Guerre
Pipelets: Self-Organizing Software Pipelines for Many-Core Architctures ............................................. 1516 Janmartin Jahn and Jörg Henkel
An Integrated Approach for Managing the Lifetime of Flash-Based SSDs ............................................ 1522
Sungjin Lee, Taejin Kim, Ji-Sung Park and Jihong Kim
10.8 PANEL: Will 3D-IC Remain a Technology of the Future… Even in the Future? .............. 1526 Organizer: Marco Casale-Rossi - Synopsys, US Moderators: Giovanni De Micheli - EPFL, CH; Marco Casale-Rossi - Synopsys, US Invited Speaker: Patrick Leduc Panelists: Patrick Blouet, Brendan Farley, Anna Fontanelli, Dragomir Milojevic, Steve Smith 11.1 HOT TOPIC: Smart Health Organizers and Moderators: Daniela De Venuto - Politecnico di Bari, IT; Alberto Sangiovanni Vincentelli - University of California, Berkeley, US Dr. Frankenstein's Dream Made Possible: Implanted Electronic Devices............................................. 1531
Daniela De Venuto and Alberto Sangiovanni Vincentelli
Addressing the Healthcare Cost Dilemma by Managing Health instead of Managing Illness - An Opportunity for Wearable Wireless Sensors....................................................................... 1537
Chris Van Hoof and Julien Penders
Electronic Implants: Power Delivery and Management .......................................................................... 1540 Jacopo Olivo, Sara S. Ghoreishizadeh, Sandro Carrara and Giovanni De Micheli
Cyborg Insects, Neural Interfaces and Other Things: Building Interfaces between the Synthetic and the Multicellular ................................................................................................................................ 1546
J. Van Kleef, T. Massey, P. Ledochowitsch, R. Muller, R. Tiefenauer, T. Blanche, Hirotaka Sato and M. M. Maharbiz
11.2 High-Level Synthesis and Coarse-Grained Reconfigurable Architectures Moderators: Philippe Coussy - Universite de Bretagne-Sud/Lab-STICC, FR; Fadi Kurdahi - University of California Irvine, US Share with Care: A Quantitative Evaluation of Sharing Approaches in High-level Synthesis ............... 1547
Alex Kondratyev, Luciano Lavagno, Mike Meyer and Yosinori Watanabe
FPGA Latency Optimization Using System-level Transformations and DFG Restructuring ................. 1553 Daniel Gomez-Prado, Maciej Ciesielski and Russell Tessier
A Transparent and Energy Aware Reconfigurable Multiprocessor Platform for Simultaneous ILP and TLP Exploitation ....................................................................................................................... 1559
Mateus Beck Rutzig, Antonio Carlos S. Beck and Luigi Carro High-Level Modeling and Synthesis for Embedded FPGAs .................................................................. 1565
Xiaolin Chen, Shuai Li, Jochen Schleifer, Thomas Coenen, Anupam Chattopadhyay, Gerd Ascheid and Tobias G. Noll
Scheduling Independent Liveness Analysis for Register Binding in High Level Synthesis................... 1571
Vito Giovanni Castellana and Fabrizio Ferrandi Fast Shared On-Chip Memory Architecture for Efficient Hybrid Computing with CGRAs...................... 1575
Jongeun Lee, Yeonghun Jeong and Sungsok Seo Compiling Control-Intensive Loops for CGRAs with State-Based Full Predication ................................ 1579
Kyuseung Han, Kiyoung Choi and Jongeun Lee 11.3 Efficient NoC Routing Mechanisms Moderators: Fabien Clermidy - CEA-LETI, FR; Jose Flich - Technical University of Valencia, ES DeBAR: Deflection Based Adaptive Router with Minimal Buffering ...................................................... 1583
John Jose, Bhawna Nayak, Kranthi Kumar and Madhu Mutyam
Contrasting Wavelength-Routed Optical NoC Topologies for Power-Efficient 3D-Stacked Multicore Processors Using Physical-Layer Analysis............................................................................ 1589
Luca Ramini, Paolo Grani, Sandro Bartolini and Davide Bertozzi
Topology-Agnostic Fault-Tolerant NoC Routing Method........................................................................ 1595 Eduardo Wachter, Augusto Erichsen, Alexandre Amory and Fernando Moraes
Fault-Tolerant Routing Algorithm for 3D NoC Using Hamiltonian Path Strategy ................................... 1601 Masoumeh Ebrahimi, Masoud Daneshtalab and Juha Plosila
Modeling and Analysis of Fault-tolerant Distributed Memories for Networks-on-Chip ........................... 1605 Abbas BanaiyanMofrad, Nikil Dutt and Gustavo Girão
11.4 System-Level Modelling for Physical Properties Moderators: Frank Oppenheimer - OFFIS, DE; François Pêcheux - UPMC, FR System-Level Modeling of Energy in TLM for Early Validation of Power and Thermal Management ........................................................................................................................................... 1609
Tayeb Bouhadiba, Matthieu Moy and Florence Maraninchi
System-Level Modeling and Microprocessor Reliability Analysis for Backend Wearout Mechanisms........................................................................................................................................... 1615
Chang-Chih Chen and Linda Milor Automatic Success Tree-Based Reliability Analysis for the Consideration of Transient and Permanent Faults............................................................................................................................ 1621
Hananeh Aliee, Michael Glaß, Felix Reimann and Jürgen Teich
Hybrid Prototyping of Multicore Embedded Systems ............................................................................ 1627 Ehsan Saboori and Samar Abdi
11.5 Energy Challenges for Multi-Core and NoC Architectures Moderators: Alberto Garcia-Ortiz - University of Bremen, DE; Domenik Helms - OFFIS, DE Communication and Migration Energy Aware Design Space Exploration for Multicore Systems with Intermittent Faults ............................................................................................................ 1631
Anup Das, Akash Kumar and Bharadwaj Veeravalli
40.4fJ/bit/mm Low-Swing On-Chip Signaling with Self-Resetting Logic Repeaters Embedded within a Mesh NoC in 45nm SOI CMOS................................................................................................ 1637
Sunghyun Park, Masood Qazi, Li-Shiuan Peh and Anantha P. Chandrakasan 3D Reconfgurable Power Switch Network for Demand-supply Matching between Multi-output Power Converters and Many-core Microprocessors............................................................................... 1643
Kanwen Wang, Hao Yu, Benfei Wang and Chun Zhang Thermal-Aware Datapath Merging for Coarse-Grained Reconfigurable Processors ............................. 1649
Sotirios Xydis, Gianluca Palermo and Cristina Silvano
11.6 Modelling and Design for Signal and Power Integrity Moderators: Stefano Grivet-Talocia - Politecnico di Torino, IT; Piero Triverio - University of Toronto, CA Placement Optimization of Power Supply Pads Based on Locality........................................................ 1655
Pingqiang Zhou, Vivek Mishra and Sachin S. Sapatnekar
GPU-Friendly Floating Random Walk Algorithm for Capacitance Extraction of VLSI Interconnects ......................................................................................................................................... 1661
Kuangya Zhai, Wenjian Yu and Hao Zhuang
Periodic Jitter and Bounded Uncorrelated Jitter Decomposition Using Incoherent Undersampling........................................................................................................................................ 1667
Nicholas L. Tzou, Debesh Bhatta, Sen-Wen Hsiao and Abhijit Chatterjee
Crosstalk Avoidance Codes for 3D VLSI ................................................................................................ 1673 Rajeev Kumar and Sunil P. Khatri
Large-Scale Flip-Chip Power Grid Reduction with Geometric Templates.............................................. 1679 Zhuo Feng
11.7 Powerful Aging Moderators: Jose Pineda de Gyvez - NXP Semiconductors, NL; Mehdi Tahoori - Karlsruhe Institute of Technology, DE Impact of Adaptive Voltage Scaling on Aging-Aware Signoff ................................................................. 1683
Tuck-Boon Chan, Wei-Ting Jonas Chan and Andrew B. Kahng
A Parallel Fast Transform-Based Preconditioning Approach for Electrical-Thermal Co- Simulation of Power Delivery Networks................................................................................................. 1689
Konstantis Daloukas, Alexia Marnari, Nestor Evmorfopoulos, Panagiota Tsompanopoulou and George I. Stamoulis
Hierarchically Focused Guardbanding: An Adaptive Approach to Mitigate PVT Variations and Aging................................................................................................................................................ 1695
Abbas Rahimi, Luca Benini and Rajesh K. Gupta Effective Power Network Prototyping via Statistical-Based Clustering and Sequential Linear Programming ............................................................................................................................... 1701
Sean Shih-Ying Liu, Chieh-Jui Lee, Chuan-Chia Huang, Hung-Ming Chen, Chang-Tzu Lin and Chia-Hsin Lee
A Network-Flow Based Algorithm for Power Density Mitigation at Post-Placement Stage................... 1707 Sean Shih-Ying Liu, Ren-Guo Luo and Hung-Ming Chen
An Efficient Wirelength Model for Analytical Placement........................................................................ 1711 B.N.B. Ray and Shankar Balachandran
11.8 EMBEDDED TUTORIAL: Advances in Asynchronous Logic: From Principles to GALS & NoC, Recent Industry Applications, and Commercial CAD Tools Organizer: Pascal Vivet - CEA-LETI, FR Moderators: Robin Wilson - STMicroelectronics, FR; Edith Beigné - CEA-LETI, FR Advances in Asynchronous Logic: From Principles to GALS & NoC, Recent Industry Applications, and Commercial CAD Tools............................................................................................. 1715
Alex Yakovlev, Pascal Vivet, Marc Renaudin
12.1 HOT TOPIC: Internet of Energy – Connecting Smart Mobility in the Cloud Organizer: Ovidiu Vermesan - SINTEF, NO Moderators: Andrea Acquavivia - Politecnico di Torino, IT; Marcello Coppola - STMicroelectronics, FR Interactions of Large Scale EV Mobility and Virtual Power Plants ........................................................ 1725
R. Mock, J. Reinschke, T. S. Cinotti, L. Bononi Innovative Energy Storage Solutions for Future Electromobility in Smart Cities................................... 1730
Kevin Green, Salvador Rodriguez González, Ruud Wijtvliet Automotive Ethernet: In-vehicle Networking and Smart Mobility............................................................ 1735
Peter Hank, Steffen Müller, Ovidiu Vermesan, Jeroen Van Den Keybus Smart, Connected and Mobile: Architecting Future Electric Mobility Ecosystems ................................. 1740
Ovidiu Vermesan, Lars-Cyril Blystad, Reiner John, Peter Hank, Roy Bahr, Alessandro Moscatelli
e-Mobility - The Next Frontier for Automotive Industry .......................................................................... 1745 Roberto Zafalon, Giovanni Coppola, Ovidiu Vermesan
Semiconductor Technologies for Smart Mobility Management ............................................................. 1749
Reiner John, Martin Schulz, Ovidiu Vermesan, Kai Kriegel
12.2 Methodologies to Improve Yield, Reliability and Security in Embedded Systems Moderators: Luciano Lavagno - Politecnico di Torino, IT; Jürgen Teich - University of Erlangen-Nuremberg, DE A New Paradigm for Trading Off Yield, Area and Performance to Enhance Performance per Wafer ............................................................................................................................................... 1753
Yue Gao, Melvin A. Breuer and Yanzhi Wang
Leveraging Variable Function Resilience for Selective Software Reliability on Unreliable Hardware................................................................................................................................................ 1759
Semeen Rehman, Muhammad Shafique, Pau Vilimelis Aceituno, Florian Kriebel, Jian-Jia Chen and Jörg Henkel
Optimization of Secure Embedded Systems with Dynamic Task Sets................................................... 1765 Ke Jiang, Petru Eles and Zebo Peng
12.3 NoC Mapping and Synthesis Moderators: Andreas Hansson - ARM, UK; Jaime Murillo - EPFL, CH Shared Memory Aware MPSoC Software Deployment ......................................................................... 1771
Timo Schönwald, Alexander Viehl, Oliver Bringmann and Wolfgang Rosenstiel
Fast and Optimized Task Allocation Method for Low Vertical Link Density 3-Dimensional Networks-on-Chip Based Many Core Systems ..................................................................................... 1777
Haoyuan Ying, Thomas Hollstein and Klaus Hofmann
A Spectral Clustering Approach to Application-Specific Network-on-Chip Synthesis ............................ 1783 Vladimir Todorov, Daniel Mueller-Gritschneder, Helmut Reinig and Ulf Schlichtmann
12.4 Emerging Logic Moderators: Aida Todri-Sanial - CNRS-LIRMM, FR; Marco Ottavi - University of Rome "Tor Vegata", IT A SPICE-Compatible Model of Graphene Nano-Ribbon Field-Effect Transistors Enabling Circuit-Level Delay and Power Analysis under Process Variation ........................................................ 1789
Ying-Yu Chen, Artem Rogachev, Amit Sangai, Giuseppe Iannaccone, Gianluca Fiori and Deming Chen
Systematic Design of Nanomagnet Logic Circuits................................................................................. 1795 Indranil Palit, X. Sharon Hu, Joshep Nahas and Michael Niemier
Defect-Tolerant Logic Hardening for Crossbar-based Nanosystems..................................................... 1801
Yehua Su and Wenjing Rao
On Reconfigurable Single-Electron Transistor Arrays Synthesis Using Reordering Techniques............................................................................................................................................. 1807
Chang-En Chiang, Li-Fu Tang, Chun-Yao Wang, Ching-Yi Huang, Yung-Chih Chen, Suman Datta and Vijaykrishnan Narayanan
12.5 Emerging Technology Architectures for Energy-Efficient Memories Moderators: Marisa López-Vallejo - Universidad Politecnica Madrid, ES; Naehyuck Chang - Seoul National University, KR D-MRAM Cache: Enhancing Energy Efficiency with 3T-1MTJ DRAM / MRAM Hybrid Memory .................................................................................................................................................. 1813
Hiroki Noguchi, Kumiko Nomura, Keiko Abe, Shinobu Fujita, Eishi Arima, Kyundong Kim, Takashi Nakada, Shinobu Miwa and Hiroshi Nakamura
Leveraging Sensitivity Analysis for Fast, Accurate Estimation of SRAM Dynamic Write Vmin.............................................................................................................................................. 1819
James Boley, Vikas Chandra, Robert Aitken and Benton Calhoun
DWM-TAPESTRI - An Energy Efficient All-Spin Cache Using Domain Wall Shift Based Writes........................................................................................................................................... 1825
Rangharajan Venkatesan, Mrigank Sharad, Kaushik Roy and Anand Raghunathan
12.6 Clock Distribution and Analogue Circuit Synthesis Moderators: Tiziano Villa - University of Verona, IT; Georges Gielen - Katholieke Universiteit Leuven, BE Co-Synthesis of Data Paths and Clock Control Paths for Minimum-Period Clock Gating ..................... 1831
Wen-Pin Tu, Shih-Hsu Huang and Chun-Hua Cheng
Slack Budgeting and Slack to Length Converting for Multi-Bit Flip-Flop Merging .................................. 1837 Chia-Chieh Lu and Rung-Bin Lin
Area Optimization on Fixed Analog Floorplans Using Convex Area Functions ..................................... 1843
A. Unutulmaz, G. Dündar and F.V. Fernández PAGE: Parallel Agile Genetic Exploration towards Utmost Performance for Analog Circuit Design.......................................................................................................................................... 1849
Po-Cheng Pan, Hung-Ming Chen and Chien-Chih Lin
12.7 Physical Design Moderators: Carl Sechen - University of Texas at Dallas, US; Bill Swartz - InternetCAD, US Fast and Efficient Lagrangian Relaxation-Based Discrete Gate Sizing ................................................ 1855
Vinicius S. Livramento, Chrystian Guth, José Luís Güntzel and Marcelo O. Johann Enhanced Metamodeling Techniques for High-Dimensional IC Design Estimation Problems ............. 1861
Andrew B. Kahng, Bill Lin and Siddhartha Nath
Sub-Quadratic Objectives in Quadratic Placement ............................................................................... 1867 Markus Struzyna
CATALYST: Planning Layer Directives for Effective Design Closure.................................................... 1873 Yaoguang Wei, Zhuo Li, Cliff Sze, Shiyan Hu, Charles J. Alpert and Sachin S. Sapatnekar
12.8 EMBEDDED TUTORIAL: Closed-Loop Control for Power and Thermal Management in Multi-core Processors: Formal Methods and Industrial Practice Organizer: Ibrahim Elfadel - Masdar Institute of Science and Technology, AE Moderators: Petru Eles - Linkopings University, SE; Jose Ayala - Complutense University of Madrid, ES Closed-Loop Control for Power and Thermal Management in Multi-core Processors: Formal Methods and Industrial Practice ................................................................................................ 1879
Ibrahim (Abe) M. Elfadel, Radu Marculescu and David Atienza Author Index