2.2: Validation of Modern Microprocessors [2]
2.3: Memory System Optimization [3]
2.4: Architectures and Efficient Desgns for Automotive and Energy-Management Systems [4]
2.5: Physical Design for Low-Power [5]
2.6: Optimized Utilization of Embedded Platforms [6]
2.7: SPECIAL SESSION - HOT TOPIC - EDA Solutions to New-Defect Detection in Advanced Process Technologies [7]
2.8: Beyond CMOS - Benchmarking for Future Technologies [8]
3.2: Effective Functional Simulation and Validation [9]
3.3: Industrial Design Methodologies [10]
3.4: Large-Scale Energy and Thermal Management [11]
3.5: PANEL - Key Challenges for Next Generation Computing [12]
3.6: Model-Based Design and Verification for Embedded Systems [13]
3.7: Improving Reliability and Yield in Advanced Technologies [14]
3.8: HOT TOPIC - Design Automation Tools for Engineering Biological Systems [15]
IP1: Interactive Presentations [16]
4.2: Routing Solutions for Upcoming NoC Challenges [17]
4.3: Industrial Embedded System Design [18]
4.4: System-Level Power and Reliability Estimation and Optimisation [19]
4.6: Compilers and Source-Level Simulation [21]
4.7: Advances in Test Generation [22]
5.1: Special Day E-Mobility - Embedded Systems and SW Challenges: [23]
5.2: Panel - Accelerators and Emulatiors for HS Verification [24]
5.3: Medical and Healthcare Applications [25]
5.4: Microarchitecture [26]
5.5: Shared Memory Management in Multicore [27]
5.6: Scheduling and Allocation [28]
5.7: Testing of Non-Volatile Memories [29]
IP2: Interactive Presentations [30]
6.1: PANEL - Role of EDA in the Development of Electric Vehicles (Special Day E-Mobility) [31]
6.1.2: Keynote [32]
6.2: EMBEDDED TUTORIAL - Memristor Technology [33]
6.3: Thermal Aware Low Power Design [34]
6.4: Basic Techniques for Improving the Formal Verification Flow [35]
6.5: System-on-Chip Composition and Synthesis [36]
6.6: Timing Analysis [37]
6.7: HOT TOPIC - Design for Test and Reliability in Ultimate CMOS [38]
7.1: HOT TOPIC - Energy of Optimization (Special Day E-Mobility) [39]
7.2: HOT TOPIC - Virtual Platforms: Breaking New Grounds [40]
7.3: Multimedia and Consumer Applications [41]
7.4: Nanoelectronic Devices [42]
7.5: High Level and Statistical Design of Mixed-Signal Systems [43]
7.6: Advances in Dataflow Modeling and Analysis [44]
7.7: Test and Repair of New Technologies [45]
7.8: HOT TOPIC - New Directions in Timing Modeling in Embedded Software [46]
IP3: Interactive Presentations [47]
8.1: HOT TOPIC - Robustness Challenges in Automotive (Special Day E-Mobility) [48]
8.2: PANEL - EDA for Trailing Edge Technologies [49]
8.3: Innovative Reliable Systems and Applications [50]
8.4: Advances in Formal SoC Verification [51]
8.5: Variability and Delay [52]
8.6: System-Level Optimization of Embedded Real-Time Systems [53]
8.7: On-Line Test for Secure Systems [54]
8.8: EMBEDDED TUTORIAL - Batteries and Battery Management Systems [55]
9.2: SPECIAL SESSION - From Ultra-Low-Power Multi-Core Design to Exascale Computing [56]
9.3: Architecture and Building Blocks for Secure Systems [57]
9.4: Advances in High-Level Synthesis [58]
9.5: Supply Voltage and Circuitry Based Power Reductions [59]
9.6: Creation and Processing of System-level Models [60]
9.7: Test and Monitoring of RF and Mixed-Signal ICs [61]
IP4: Interactive Presentations [62]
10.1: SPECIAL DAY MORE-THAN-MOORE: Technologies [63]
10.2: Pathways to Servers of the Future [64]
10.3: Side-Channel Analysis and Protection of Secure Embedded Systems [65]
10.4: Topics in High-Level Synthesis [66]
10.5: Modeling of Complex Analogue and Digital Systems [67]
10.6: Cyber-Physical Systems [68]
10.7: On-Line Test and Fault Tolerance [69]
10.8: EMBEDDED TUTORIAL - Moore Meets Maxwell [70]
11.1: SPECIAL DAY MORE-THAN-MOORE: Heterogeneous Integration [71]
11.2: The Quest for NoC Performance [72]
11.3: Emerging Memory Technologies (1) [73]
11.4: Physical Anchors for Secure Systems [74]
11.5: Analogue Design Validation [75]
11.6: Techniques and Technologies Power Aware Reconfiguration [76]
11.7: Rise and Fall of Layout [77]
11.8: HOT TOPIC - Programmability and Performance Portability of Multi-/Many-Core [78]
IP5: Interactive Presentations [79]
12.1: SPECIAL DAY MORE-THAN-MOORE: Applications [80]
12.2: The Frontier of NoC Design [81]
12.3: Emerging Memory Technologies (2) [82]
12.4: Digital Communication Systems [83]
12.5: Architecture and Networks for Adative Computing [84]
12.6: Boolean Methods in Logic Synthesis [85]
12.7: Impact of Modern Technology on Layout [86]
12.8: EMBEDDDED TUTORIAL - Advances in Variation-Aware Modeling, Verification, and Testing of Analog ICs [87]