Tutorial
Monday Tutorials
M12 All You Need to Know About Hardware Trojans and Counterfeit Ics
Agenda
Agenda
| Time | Label | Session |
|---|---|---|
| 14:30 | M12.1 | Session 1 |
| 00:00 | M12.1.1 | Background and motivation for hardware Trojan and counterfeit prevention/detection |
| 00:00 | M12.1.2 | Taxonomies related to both topics |
| 16:30 | M12.2 | Session 2 |
| 00:00 | M12.2.1 | Existing solutions |
| 00:00 | M12.2.2 | Open challenges |
| 00:00 | M12.2.3 | New and unified solutions to address these challenges |
M11 Post-Silicon Validation and Debug: Best Practices and Disruptive Innovation
Agenda
Agenda
| Time | Label | Session |
|---|---|---|
| 14:30 | M11.1 | Session 1 |
| 00:00 | M11.1.1 | Big Picture (Nagib Hakim, Subhasish Mitra, Amir Nahir) Nagib Hakim1, Subhasish Mitra2 and Amir Nahir3 1Intel Corporation Santa Clara, US; 2Stanford University, US; 3IBM Research Labs Haifa, IL |
| 16:30 | M11.2 | Session 2 |
| 00:00 | M11.2.1 | Observability enhancement during post-silicon validation (Alan Hu, Subhasish Mitra) Alan Hu1 and Subhasish Mitra2 1University of British Columbia, CA; 2Stanford University, US |
M10 A Cyber-Physical Approach to Modeling, Simulation and Verification of Smart Systems
Agenda
Agenda
| Time | Label | Session |
|---|---|---|
| 14:30 | M10.1 | Session 1 |
| 00:00 | M10.1.1 | Introduction to smart systems and cyber-physical systems (Davide Quaglia) Davide Quaglia, EDALab s.r.l, IT |
| 00:00 | M10.1.2 | Multi-domain modeling languages and methodologies (Davide Quaglia) Davide Quaglia, EDALab s.r.l, IT |
| 00:00 | M10.1.3 | Multi-scale modeling: abstraction and refinement (Dimitris Drogoudis) Dimitris Drogoudis, Agilent, BE |
| 16:30 | M10.2 | Session 2 |
| 00:00 | M10.2.1 | Verification of Cyber-Physical Systems (Davide Bresolin) Davide Bresolin, University of Bologna, IT |
| 00:00 | M10.2.2 | Application of modeling concepts and tools to real case studies (Dimitris Drogoudis) Dimitris Drogoudis, Agilent, BE |
| 00:00 | M10.2.3 | Application of verification concepts and tools to real case studies (Davide Bresolin) Davide Bresolin, University of Bologna, IT |
M04 Dynamic Heterogeneous Architectures to Address The Efficiency Crisis!
Agenda
Agenda
| Time | Label | Session |
|---|---|---|
| 09:30 | M04.1 | Session 1 |
| 00:00 | M04.1.1 | Reviews of major challenges facing semiconductor industry, introduce the concept of dynamic heterogeneous architecture and concept of core pooling (Houman Homayoun) Houman Homayoun, , |
| 00:00 | M04.1.2 | Pathfinding methodology for optimal design and integration of 2.5D/3D heterogeneous systems Farhang Yazdani, , |
| 11:30 | M04.2 | Session 2 |
| 00:00 | M04.2.1 | 3D systems as platforms for "flexible heterogeneity", cache/memory pooling, power & temperature challenges Ayse Coskun, , |
| 00:00 | M04.2.2 | Managing dynamically configurable systems: optimizing energy under performance constraints; Coordinating adaptation across the system stack Hank Hoffman, , |
M03 Automatic fixed-point conversion: a gate way to high-level power optimization
Agenda
Agenda
| Time | Label | Session |
|---|---|---|
| 09:30 | M03.1 | Session 1 |
| 00:00 | M03.1.1 | Introduction |
| 00:00 | M03.1.2 | Fixed-point arithmetic |
| 00:00 | M03.1.3 | Range analysis |
| 11:30 | M03.2 | Session 2 |
| 00:00 | M03.2.1 | Precision analysis |
| 00:00 | M03.2.2 | Word-length optimization |
| 00:00 | M03.2.3 | Opportunistic run-time precision adaptation |
| 00:00 | M03.2.4 | Conclusion |
M06 Testing of TSV-Based 2.5D- and 3D-Stacked ICs
Agenda
Agenda
| Time | Label | Session |
|---|---|---|
| 09:30 | M06.1 | Session 1 |
| 00:00 | M06.1.1 | Introduction |
| 00:00 | M06.1.2 | Overview of 2.5D- and 3D-technology |
| 00:00 | M06.1.3 | 3D test flows and test contents |
| 00:00 | M06.1.4 | 3D test access: wafer probing (industry/research) |
| 11:30 | M06.2 | Session 2 |
| 00:00 | M06.2.1 | 3D test access: DfT architecture (incl. IEEE P1838) and optimizations |
| 00:00 | M06.2.2 | 3D cost flow modeling (with case studies) |
| 00:00 | M06.2.3 | Conclusion |
M02 Software Debug on ARM Processors in Emulation
Agenda
Agenda
| Time | Label | Session |
|---|---|---|
| 09:30 | M02.1 | Session 1 |
| 00:00 | M02.1.1 | Options for software debug and trace in the context of design running in emulation |
| 00:00 | M02.1.2 | Understanding the trade-offs in terms of performance, functionality, and intrusiveness of different debug approaches |
| 11:30 | M02.2 | Session 2 |
| 00:00 | M02.2.1 | Concurrent debug of multiple cores in emulation |
| 00:00 | M02.2.2 | Correlation of hardware and software debug views |
| 00:00 | M02.2.3 | Efficient utilization of emulation resources during software debug |
M05 Wireless NoC as Interconnection Backbone for Multicore Chips: Promises, Challenges, and Recent Developments
Agenda
Agenda
| Time | Label | Session |
|---|---|---|
| 09:30 | M05.1 | Session 1 |
| 00:00 | M05.1.1 | Foundations of On-chip Communication: Performance and Power Management in 2D and 3D Multicore Platforms Radu Marculescu, , |
| 00:00 | M05.1.2 | WiNoC: Network Architecture and Communication Resource Management Partha Pratim Pande, , |
| 11:30 | M05.2 | Session 2 |
| 00:00 | M05.2.1 | Millimeter-Wave Wireless Link: The Physical Layer Design for WiNoCs Deukhyoun Heo, , |
| 00:00 | M05.2.1 | 3D WiNoC Architectures Hiroki Matsutani, , |
M09 Energy-Efficient System Design Through Error-Resilient Computing
Agenda
Agenda
| Time | Label | Session |
|---|---|---|
| 14:30 | M09.1 | Session 1 |
| 00:00 | M09.1.1 | Error-resilient Computing - Motivation and Example Applications Saibal Mukhopaddhyay, University of Georgia Tech, US |
| 00:00 | M09.1.2 | Error-resilience for general-purpose computing - Razor Shidhartha Das, ARM Ltd, GB |
| 16:30 | M09.2 | Session 2 |
| 00:00 | M09.2.1 | Approximate Computing - A circuits and architecture perspective Anand Raghunathan, Purdue University, US |
| 00:00 | M09.2.2 | Approximate Computing - A software and applications perspective Srimat Chakradhar, NEC Labs, US |
M08 Microfluidic Biochips: A Vision for More than Moore and Biochemistry-on-Chip
Agenda
Agenda
| Time | Label | Session |
|---|---|---|
| 14:30 | M08.1 | Session 1 |
| 00:00 | M08.1.1 | Technology and application drivers |
| 00:00 | M08.1.2 | Synthesis techniques |
| 16:30 | M08.2 | Session 2 |
| 00:00 | M08.2.1 | Testing and design-for-testability |
| 00:00 | M08.2.2 | Cyberphysical integration and dynamic adaptation |
M01 Development of mixed-criticality systems based on system partitioning
Agenda
Agenda
| Time | Label | Session |
|---|---|---|
| 09:30 | M01.1 | Session 1 |
| 00:00 | M01.1.1 | Challenges in the development of high-integrity embedded systems Jon Pérez, IK4-IKERLAN, ES |
| 00:00 | M01.1.2 | Mixed criticality systems based on system partitioning Alfons Crespo, Universidad Politécnica de Valencia, ES |
| 00:00 | M01.1.3 | The XtratuM hypervisor Alfons Crespo, Universidad Politécnica de Valencia, ES |
| 11:30 | M01.2 | Session 2 |
| 00:00 | M01.2.1 | Framework for the development of mixed criticality systems Alejandro Alonso, Universidad Politécnica de Madrid, ES |
| 00:00 | M01.2.2 | Use case: development of a mixed-criticality embedded system; Aerospace (Alejandro) and Wind-power (Jon) Alejandro Alonso1 and Jon Pérez2 1Universidad Politécnica de Madrid, ES; 2IK4-IKERLAN, ES |
| 00:00 | M01.2.3 | Conclusion and future directions |
M07 L4/Fiasco.OC - A Microkernel OS Designed for Security, Real-Time And Reliability
Agenda
Agenda
| Time | Label | Session |
|---|---|---|
| 14:30 | M07.1 | Session 1 |
| 00:00 | M07.1.1 | Why we need microkernels Hermann Härtig, Technische Universität Dresden, DE |
| 00:00 | M07.1.2 | Isolation for Security, Portability, and Real-Time Adam Lackorzynski, Kernkonzept GmbH, DE |
| 00:00 | M07.1.3 | Building a Secure System on top of Fiasco.OC Carsten Weinhold, Technische Universität Dresden, DE |
| 00:00 | M07.1.4 | Fiasco.OC for Reliability and Fault Tolerance Björn Döbel, Technische Universität Dresden, DE |
| 16:30 | M07.2 | Session 2 |
| 00:00 | M07.2.1 | Hands On Session (Please bring your laptop) |
| 00:00 | M07.2.2 | Practical Introduction to running L4/Fiasco.OC |
| 00:00 | M07.2.3 | System Setup and Application Development |
