2nd International Workshop on RISC-V Research Activities - Programm

Druckversion Per E-Mail senden PDF-Version

Auf dieser Webseite finden Sie das Programm des 2nd International Workshop on RISC-V Research Activities, welches Sie für jede Session einzeln ausklappen können. Dort finden Sie den Zeitplan, die Vortragstitel sowie die Vortragenden. Wenn darüber hinaus noch Informationen wie eine Kurzfassung, ein Lebenslauf oder (für alle Teilnehmer) die Folien verfügbar sind, wird ein entsprechender Link unter dem Vortragstitel angezeigt.

Sie können alle Präsentationen in einem einzigen ZIP-Archiv herunterladen (~11,3 MB). (Nur für angemeldete Veranstaltungsteilnehmer verfügbar!)

Mittwoch, 27. Februar 2019

19:00 - 22:00
Optional Come-Together/Dinner
Schneider Bräuhaus, Tal 7, 80331 Munich, Germany

Optional Come-Together/Dinner at the “Schneider Bräuhaus” on the evening before the workshop. This is an optional part of the RISC-V Activities Workshop for attendees who arrive already on Wednesday. Your drinks and food consumption is not included in the workshop fee.

Donnerstag, 28. Februar 2019

09:00 - 09:15
Moderator: Daniel Müller-Gritschneder (Technical University of Munich, D)

09:15 - 11:00
RISC-V-Hardware-Architecture and Extensions
Moderator: Daniel Müller-Gritschneder (Technical University of Munich, D)

09:15The Parallel Ultra Low Power (PULP) project at ETH Zurich
Frank K. Gürkaynak (ETH Zürich)
Abstract: The ETH Zurich, in collaboration with University of Bologna has been working on developing novel energy efficient architectures as part of the PULP project for the last 6 years. We firmly believe in open source hardware and have made all our mature designs based on the popular RISC-V architecture available using a permissive license. Since our first release in 2016 (PULPino) we have released not only efficient implementations of 32 and 64 bit RISC-V processors but also, peripherals, busses and complete systems from simple micro-controllers to more involved multi-core and multi-cluster systems. In this talk, we will give an overview of our efforts and inform you of the latest developments and PULP based projects.

Folien (Zugriff nur für Veranstaltungsteilnehmer)
10:45Discussion Round

11:00 - 11:15

11:15 - 12:15
RISC-V LLVM Compiler
Moderator: ()

11:15Building a production-ready RISC-V LLVM toolchain
Alex Bradbury (lowRISC CIC, UK)
Abstract: This talk will describe the current status of the upstream RISC-V LLVM backend, its implementation approach, and history. We will discuss the steps taken to evolve it towards a production readiness as well as efforts to enable downstream customisations and support for novel instruction set extensions. Alex Bradbury is primary author and code owner for the upstream RISC-V LLVM backend. lowRISC CIC is a not-for-profit with a mission to support open source hardware designs and the related ecosystem, and have driven the development of the RISC-V LLVM backend thanks to financial support from members of the RISC-V ecosystem.

Folien (Zugriff nur für Veranstaltungsteilnehmer)
12:00Discussion Round

12:15 - 13:30
RISC-V and Hardware Security
Moderator: ()

12:15Towards Reliable and Secure Post-Quantum Co-Processors based on RISC-V
Tim Fritzmann (Technical University of Munich, D)
Abstract: Increasingly complex and powerful Systems-on-Chips (SoCs), connected through a 5G network, form the basis of the Internet-of-Things (IoT). These technologies will drive the digitalization in all domains, e.g. industry automation, automotive, avionics, and healthcare. A major requirement for all above domains is the long-term (10 to 30 years) secure communication between the SoCs and the cloud over public 5G networks. The foreseeable breakthrough of quantum computers represents a risk for all communication. In order to prepare for such an event, SoCs must integrate secure quantum-computer-resistant cryptography which is reliable and protected against SW and HW attacks. Empowering SoCs with such strong security poses a challenging problem due to limited resources, tight performance requirements and long-term life-cycles. While current works are focused on efficient implementations of post-quantum cryptography, implementation-security and reliability aspects for SoCs are still largely unexplored. To this end, we present three contributions. First, we present a RISC-V co-processor for post-quantum security, able to support lattice-based cryptography. Second, we use HW/SW co-design techniques to accelerate the NTT transformation and hash generation. Third, we perform the fault analysis of the implementation. We show that our co-processor achieves high reliability and security capabilities while preserving good performance.

Folien (Zugriff nur für Veranstaltungsteilnehmer)
12:45Security Features for IoT Devices based on RISC-V
Lukas Auer (Fraunhofer AISEC)
Abstract: The IoT market is moving towards increasingly integrated devices to fit within the size requirements expected by customers. At the same time, high performance under strict power constraints is demanded, requiring the use of modern process technologies. The Universal Sensor Platform (USeP), developed by several Fraunhofer Institutes aims to achieve these requirements. It integrates a range of sensors with a RISC-V based processing system as a three dimensional System-in-Package (3D-SiP). The security architecture targets the requirements of the IoT market. Secure boot and software attestation based on the DICE concept ensure only the intended software is able to run on the device. The authenticated watchdog timer as specified by the CyReP program increases the overall resiliency of the device. Data on the device is protect through encryption using the keys provided by the key management unit.

Folien (Zugriff nur für Veranstaltungsteilnehmer)
13:15Discussion Round

13:30 - 14:30

14:30 - 16:05
Virtual Prototyping for RISC-V
Moderator: Oliver Bringmann (University of Tuebingen, D)

14:30A Verified RISC-V based Virtual Prototype using Coverage-guided Fuzzing
Vladimir Herdt (University of Bremen / DFKI, D)
Abstract: "Virtual Prototypes (VPs) play an important role in todays design flow by enabling early SW development. Verification of VPs is crucial as undetected errors will propagate and become very costly. The Instruction Set Simulator (ISS) is a core component of the VP. We present a verified open source RISC-V based VP (available at http://www.systemc-verification.org/riscv-vp). We employed coverage-guided fuzzing (CGF) for the verification process. In particular, CGF generates an extensive testset, which we used to compare the results of our ISS with other publicly available RISC-V ISSs. We found several new errors in each considered ISS, including one error in the official RISC-V reference simulator Spike."

Folien (Zugriff nur für Veranstaltungsteilnehmer)
15:00QEMU Support for RISC-V - Current State and Future Releases
Peer Adelt (University of Paderborn, D)
Abstract: It its current Version 3.1.0 QEMU supports RISC-V RV32GC and RV64GC software emulation in user and full system mode. We will first give an overview of the current state of the QEMU RISC-V implementation. Thereafter, we will present the DecodeTree tool, which will be available with the next QEMU release. DecodeTree is a code generator included in QEMU that can generate the program logic for extracting and decoding opcodes and operands from a formal instruction list of the target architecture. This enables the structured implementation of just-in-time compilations to guarantee that the QEMU implementation meets the ISA specification. As such, we completely replaced the existing RISC-V RV32GC and RV64GC implementations by DecodeTree generations in the next official QEMU release, which is expected in spring 2019. We will demonstrate the DecodeTree applications by the example of RISC-V ISA subset configurations.

Folien (Zugriff nur für Veranstaltungsteilnehmer)
15:30Simulation of RISC-V based systems in gem5
Robert Scheffel (CommSolid GmbH)
Abstract: In the domain of embedded systems, full system simulators, such as gem5, are used for fast design space exploration. The absence of this type of simulators for the RISC-V architecture limits its usability in industry and academia. This presentation discusses a solution for closing this gap by introducing the implementation of the Full-System mode in gem5 for the RISC-V architecture. Furthermore, the RISC-V Extension Parser is introduced, offering the possibility to define custom extensions.

Folien (Zugriff nur für Veranstaltungsteilnehmer)
15:50Discussion Round

16:05 - 16:20

16:20 - 16:40
RISC-V Verification
Moderator: Oliver Bringmann (University of Tuebingen, D)

16:20RISC-V Core Verification with cocotb
Philipp Wagner (lowRISC)
Abstract: cocotb is a co-simulation framework for verification of HDL designs with Python. This talk presents the riscv-cocotb project, which provides the infrastructure for verification of RISC-V processor cores.

Folien (Zugriff nur für Veranstaltungsteilnehmer)

16:40 - 17:00
Closing Notes
Moderator: Daniel Müller-Gritschneder (Technical University of Munich, D)

16:40Closing Notes
17:00End of Workshop