Date: Thursday 28 March 2019
Time: 08:30 - 10:00
Location / Room: Room 6
Chair:
Doris Keitel-Schulz, Infineon, DE
Co-Chair:
Fabien Clermidy, CEA, FR
This session addresses the issues of proving, verifying and enhancing highly-parallel designs on four different application domains ranging from Solid-State-Drive to 5G
Time | Label | Presentation Title Authors |
---|---|---|
08:30 | 9.6.1 | AURIX TC277 MULTICORE CONTENTION MODEL INTEGRATION FOR AUTOMOTIVE APPLICATIONS Speaker: Jaume Abella, Barcelona Supercomputing Center (BSC), ES Authors: Enrico Mezzetti1, Luca Barbina2, Jaume Abella1, Stefania Botta2 and Francisco Cazorla1 1Barcelona Supercomputing Center, ES; 2Magneti Marelli S.p.A., IT Abstract Embedded systems industry needs reliable and tight worst-case execution time (WCET) estimates for critical applications running on multicores, as a prerequisite to their adoption. While industry already uses reliable tools for single-core WCET estimation and several multicore contention models (MCMs) have been proposed, their combination have not been shown to be fully compatible with the automotive industrial practice yet. This paper reduces this gap by presenting a framework for the integration of MCMs into industrial WCET estimation practice. We illustrate such integration for a Magneti Marelli powertrain control unit on an Infineon AURIX TC277 multicore platform. Download Paper (PDF; Only available from the DATE venue WiFi) |
09:00 | 9.6.2 | SEAMLESS SOC VERIFICATION USING VIRTUAL PLATFORMS: AN INDUSTRIAL CASE STUDY Speaker: Kyungsu Kang, Samsung Electronics, KR Authors: Kyungsu Kang, Sangho Park, Byeongwook Bae, Jungyun Choi, SungGil Lee, Byunghoon Lee and Jong-Bae Lee, Samsung, KR Abstract As SoC (System-on-Chip) complexity continues to increase, function/performance verification is required in the middle of design process (before tape-out) to reduce the possible risks ranging from over-design to non-compliance with the design specifications. In this paper, we propose a seamless SoC verification. The proposed methodology exploits a modern virtual platform (VP) technology which can combine high-level C++ firmware, timing-accurate SystemC models, and RTL (register-transfer level) designs. Thus, the full-chip level verification can be done at any design stages in the whole development process. With experimental results, this paper shows the benefits and lessons of using VPs. Download Paper (PDF; Only available from the DATE venue WiFi) |
09:30 | 9.6.3 | MULTICORE EARLY DESIGN STAGE GUARANTEED PERFORMANCE ESTIMATES FOR THE SPACE DOMAIN Speaker: Mikel Fernandez, Barcelona Supercomputing Center, ES Authors: Mikel Fernandez, Gabriel Fernandez, Jaume Abella and Francisco Cazorla, Barcelona Supercomputing Center, ES Abstract The ability to produce early guaranteed performance (worst-case execution time) estimations for multicores, i.e. before software from different providers gets integrated onto the same critical system, is pivotal. This helps reducing lately-detected costly-to-handle timing violations. An existing methodology creates 'copy' (surrogate) applications from the execution in isolation of each target application. Surrogate applications can be used to upperbound multicore contention delay, and hence WCET estimates in multicores. However, this methodology has only been shown to work on a simulation environment. In this paper we show the work we have done to adapt this technology to a real multicore processor for the space domain. Download Paper (PDF; Only available from the DATE venue WiFi) |
09:45 | 9.6.4 | POLAR CODE DECODER FRAMEWORK Speaker: Timo Lehnigk-Emden, Creonic GmbH, DE Authors: Timo Lehnigk-Emden1, Matthias Alles1, Claus Kestel2 and Norbert Wehn2 1Creonic GmbH, DE; 2University of Kaiserslautern, DE Abstract Polar codes gained large interest in the last years since they are the first channel codes that are proven to achieve channel capacity. Due to this property, Polar codes were recently adopted for the 5G standard. We present an industrial framework for the generation of Polar code decoders for highest data throughput. The framework automatically generates VHDL models ready for synthesis, placement and routing and corresponding simulation models to assess the communications performance. This framework enables Polar code decoder IP providers to give fast feedback to customers on communications and implementation performance. We demonstrate that this framework outperforms existing manually optimized decoders especially in terms of energy efficiency. Download Paper (PDF; Only available from the DATE venue WiFi) |
10:00 | End of session Coffee Break in Exhibition Area
On all conference days (Tuesday to Thursday), coffee and tea will be served during the coffee breaks at the below-mentioned times in the exhibition area. Lunch Breaks (Lunch Area)On all conference days (Tuesday to Thursday), a seated lunch (lunch buffet) will be offered in the Lunch Area to fully registered conference delegates only. There will be badge control at the entrance to the lunch break area. Tuesday, March 26, 2019
Wednesday, March 27, 2019
Thursday, March 28, 2019
|