Keynote Addresses
2.2: Validation of Modern Microprocessors
2.3: Memory System Optimization
2.4: Architectures and Efficient Desgns for Automotive and Energy-Management Systems
2.5: Physical Design for Low-Power
2.6: Optimized Utilization of Embedded Platforms
2.7: SPECIAL SESSION - HOT TOPIC - EDA Solutions to New-Defect Detection in Advanced Process Technologies
2.8: Beyond CMOS - Benchmarking for Future Technologies
3.2: Effective Functional Simulation and Validation
3.3: Industrial Design Methodologies
3.4: Large-Scale Energy and Thermal Management
3.5: PANEL - Key Challenges for Next Generation Computing
3.6: Model-Based Design and Verification for Embedded Systems
3.7: Improving Reliability and Yield in Advanced Technologies
3.8: HOT TOPIC - Design Automation Tools for Engineering Biological Systems
IP1: Interactive Presentations
4.2: Routing Solutions for Upcoming NoC Challenges
4.3: Industrial Embedded System Design
4.4: System-Level Power and Reliability Estimation and Optimisation
4.5: EMBEDDED TUTORIAL - State-of-the-Art Tools and Techniques for Quantitative Modeling and Analysis of Embedded Systems
4.6: Compilers and Source-Level Simulation
4.7: Advances in Test Generation
5.1: Special Day E-Mobility - Embedded Systems and SW Challenges:
5.2: Panel - Accelerators and Emulatiors for HS Verification
5.3: Medical and Healthcare Applications
5.4: Microarchitecture
5.5: Shared Memory Management in Multicore
5.6: Scheduling and Allocation
5.7: Testing of Non-Volatile Memories
IP2: Interactive Presentations
6.1: PANEL - Role of EDA in the Development of Electric Vehicles (Special Day E-Mobility)
6.1.2: Keynote
6.2: EMBEDDED TUTORIAL - Memristor Technology
6.3: Thermal Aware Low Power Design
6.4: Basic Techniques for Improving the Formal Verification Flow
6.5: System-on-Chip Composition and Synthesis
6.6: Timing Analysis
6.7: HOT TOPIC - Design for Test and Reliability in Ultimate CMOS
7.1: HOT TOPIC - Energy of Optimization (Special Day E-Mobility)
7.2: HOT TOPIC - Virtual Platforms: Breaking New Grounds
7.3: Multimedia and Consumer Applications
7.4: Nanoelectronic Devices
7.5: High Level and Statistical Design of Mixed-Signal Systems
7.6: Advances in Dataflow Modeling and Analysis
7.7: Test and Repair of New Technologies
7.8: HOT TOPIC - New Directions in Timing Modeling in Embedded Software
IP3: Interactive Presentations
8.1: HOT TOPIC - Robustness Challenges in Automotive (Special Day E-Mobility)
8.2: PANEL - EDA for Trailing Edge Technologies
8.3: Innovative Reliable Systems and Applications
8.4: Advances in Formal SoC Verification
8.5: Variability and Delay
8.6: System-Level Optimization of Embedded Real-Time Systems
8.7: On-Line Test for Secure Systems
8.8: EMBEDDED TUTORIAL - Batteries and Battery Management Systems
9.2: SPECIAL SESSION - From Ultra-Low-Power Multi-Core Design to Exascale Computing
9.3: Architecture and Building Blocks for Secure Systems
9.4: Advances in High-Level Synthesis
9.5: Supply Voltage and Circuitry Based Power Reductions
9.6: Creation and Processing of System-level Models
9.7: Test and Monitoring of RF and Mixed-Signal ICs
IP4: Interactive Presentations
10.2: Pathways to Servers of the Future
10.3: Side-Channel Analysis and Protection of Secure Embedded Systems
10.4: Topics in High-Level Synthesis
10.5: Modeling of Complex Analogue and Digital Systems
10.6: Cyber-Physical Systems
10.7: On-Line Test and Fault Tolerance
10.8: EMBEDDED TUTORIAL - Moore Meets Maxwell
11.1: SPECIAL DAY MORE-THAN-MOORE: Heterogeneous Integration
11.2: The Quest for NoC Performance
11.3: Emerging Memory Technologies (1)
11.4: Physical Anchors for Secure Systems
11.5: Analogue Design Validation
11.6: Techniques and Technologies Power Aware Reconfiguration
11.7: Rise and Fall of Layout
11.8: HOT TOPIC - Programmability and Performance Portability of Multi-/Many-Core
IP5: Interactive Presentations
12.2: The Frontier of NoC Design
12.3: Emerging Memory Technologies (2)
12.4: Digital Communication Systems
12.5: Architecture and Networks for Adative Computing
12.6: Boolean Methods in Logic Synthesis
12.7: Impact of Modern Technology on Layout
12.8: EMBEDDDED TUTORIAL - Advances in Variation-Aware Modeling, Verification, and Testing of Analog ICs