Event Details

MP Associates, Inc.
WEDNESDAY October 24, 11:45am - 1:15pm | Forum 7
Tutorial 8 - Firmware Firmly under Control: New Optimization and Verification Techniques for Application Specific Electronic Systems

Daniel Große - Univ. of Bremen
Manuel Strobel - Univ. of Stuttgart
Daniel Mueller-Gritschneder - Technische Univ. München
Vladimir Herdt - Univ. of Bremen
Tobias Ludwig - Univ. of Kaiserslautern
Daniel Große - Univ. of Bremen

Application-specific adaptability of electronic systems demand for new design solutions. On the rise are automated firmware-based methodologies. From the application perspective this allows for flexible adaption to meet today’s multiple conflicting requirements, such as performance and power. This tutorial discusses techniques targeting the optimization of memory subsystems as well as the HW/SW interface under timing and power budgets. Then, it focuses on efficient VP-based simulation techniques complemented by formal verification approaches taking the firmware into account.

T.1 Overview and Challenges for Firmware Design under Timing and Power Budgets
Daniel Große (University of Bremen)

T.2 Design-Time Optimization Techniques for Low-Power Embedded Memory Subsystems
Manuel Strobel (University of Stuttgart)

T.3 Automatic HW-SW-Interface Generation and Optimization
Martin Dittrich (TU Munich)

T.4 RISC-V based Virtual Prototype for Efficient Simulation of Firmware-based Designs
Vladimir Herdt (University of Bremen)

T.5 Properties-First Design: A New Design Methodology for SoC Hardware and Low-Level Software
Tobias Ludwig (TU Kaiserslautern)