RISC-V logo

Registration is now open!



The Program of the RISC-V Week

The program below details the three days of the two events:

Tuesday October 1st, First Day of the 2nd RISC-V Meeting

Here is the detailed program. The list of speakers is further down this page.

Location: Espace Van Gogh, 62 quai de la Rapée, Paris.

Time Speaker Title
09h00 Registration
09h45 Christian Fabre & Sébastien Faucou Welcome Opening and Program of the RISC-V Week
10h00 Tutorials
10h00 Jean-Paul Chaput RISC-V design using Free Open Source Software
11h00 Break
11h30 Frédéric Pétrot Teaching basic computer architecture, assembly language programming, and operating system design using RISC-V
12h30 Lunch
13h30 Keynote from the RISC-V Foundation
13h30 Bertrand Tavernier The Momentum and Opportunity of Custom, Open Source Processing
14h15 Break
14h30 Chair: Thierry Collette Session on Open HW Opportunities
14h30 David Bol Ecological transition in ICT: A role for open hardware?
14h45 Carolynn Bernier A RISC-V ISA Extension for Ultra-Low Power IoT Wireless Signal Processing
15h00 Jan Andersson Development of a RV64GC IP core for the GRLIB IP Library
15h15 All Discussion with David Bol, Carolynn Bernier & Jan Andersson
15h30 Break
15h45 Chair: David Hely Session on Safe and Secure Computing with RISC-V
15h45 Thierry Collette R&D challenges for Safe and Secure RISC-V based computer
16h00 Sylvain Guilley RISC-V ISA: Secure-IC's Trojan Horse to Conquer Security
16h15 Fabien Chouteau Alternative languages for safe and secure RISC-V programming
16h30 All Discussion with Thierry Collette, Sylvain Guilley & Fabien Chouteau
16h45 Break
17h00 Chair: Frédéric Pétrot Session on Modeling & Simulation
17h00 Hugues Cassé Verification of SimNML instruction set description using co-simulation
17h15 Olivier Sentieys Fast and Accurate Vulnerability Analysis of a RISC-V Processor
17h30 Pierre-Guillaume Le Guay Coarse-grained power modelling and estimation using the Hardware Performance Monitors (HPM) of the RISC-V Rocket core
17h45 All Discussion with Huges Cassé, Olivier Sentieys & Pierre-Guillaume Le Guay
18h00 Closure

Wednesday October 2nd, Second Day of the 2nd RISC-V Meeting

Here is the detailed program. The list of speakers is further down this page.

Location: Espace Van Gogh, 62 quai de la Rapée, Paris.

Time Speaker Title
08h30 Registration
09h00 Keynote on Uniprocessor Performance
09h00 André Seznec It's the Instruction Fetch Front-End, Stupid!
10h00 Chair: Kevin Martin Session: Towards High Performance
10h00 Matheus Cavalcante Ara: design and implementation of a 1GHz+ 64-bit RISC-V Vector Processor in 22 nm FD-SOI
10h15 Bernard Goossens An Out-of-Order RISC-V Core Developed with HLS
10h30 Nima TaheriNejad Open source GPUs: How can RISC-V play a role?
11h45 All Discussion with Matheus Cavalcante, Bernard Goossens & Nima TaheriNejad
11h00 Break
11h30 Session: Open Source Cores is an Actual Business
11h30 Ekaterina Berezina Open-source processor IP in the SCRx family of the RISC-V compatible cores by Syntacore
11h45 Rick O'Connor Open Source Processor IP for High Volume Production SoCs: CORE-V Family of RISC-V cores
12h00 Yann Loisel Silicon at the speed of software
12h15 All Discussion with Ekaterina Berezina, Rick O'Connor and Yann Loisel
12h30 Lunch
13h30 Keynote on RISC-V in HPC
13h30 Romain Dolbeau European Processor Initiative: challenges & opportunities for RISC-V accelerators in an HPC platform
14h30 Chair: Arnaud Tisserand Session on Improving the HW/SW Interface
14h30 Pedro Henrique Penna Nanvix: An Operating System for Lightweight Manycores
14h45 Yves Durand Enhancing scientific computation using a variable precision FPU with a RISC-V processor
15h00 Zdeněk Přikryl Challenges to Adoption of Open-Source RISC-V Processors
15h15 All Discussion with Pedro Henrique Penna, Yves Durand and Zdeněk Přikryl
15h30 Break
16h00 Chair: Olivier Savry Session on Formal Verification
16h00 Sylvain Boulmé Extending the CompCert certified compiler with instruction scheduling and control-flow integrity
16h15 Sergio Marchese Complete Formal Verification of RISC-V Cores for Trojan-Free Trusted ICs
16h30 Romain Soulat Formal Proof of RISC-V Cores
16h45 All Discussion with Sylvain Boulmé, Sergio Marchese and Romain Soulat
17h00 Sébastien Faucou Scientific Day: RISC-V for critical embedded systems in Campus de Jussieu on Thursday October 3rd
17h15 All Wrap Up, Comments & Perspectives
17h30 Closure

Thursday October 3rd, Scientific Day IRT SE & GDR SOC2: RISC-V for critical embedded systems

Location: Jussieu campus, Paris.

Time Speaker Title
09h00 Registration & Welcome
09h30 Sébastien Pillement (GDR SOC2) Presentation of GDR SOC2
09h40 Marie-Hélène Deredempt (IRT Saint-Exupéry) Presentation of IRT Saint-Exupéry
9h50 Michael Chapman (Cortus) RISC-V in embedded applications
10h45 Antoine Certain (Airbus Defence and Space) What does the space industry expect from RISC-V?
11h15 Jan Andersson (Cobham Gaisler) Development of a RV64GC IP core for the GRLIB IP Library
12h00 Lunch
14h00 Denis Dutoit (CEA LETI) European Processor Initiative: First steps towards a made-in-Europe high-performance microprocessor
14h45 Eric Jenn (IRT Saint-Exupéry) Achieving determinism and performance on the RISC-V FlexPRET Processor
15h30 Break
15h45 Daniel Große (University of Bremen & DFKI GmbH) RISC-V based Virtual Prototype: An Open Source Platform for Modeling and Verification
16h30 Romain Soulat (Thales Research & Technology) Formal Verification of RISC-V Implementation Designs
17h15 Closure

2nd RISC-V Meeting Tutorials

RISC-V design using Free Open Source Software

By Jean-Paul Chaput, Roselyne Chotin, Marie-Minerve Louerat, Adrian Satin (LIP6).

This tutorial aims to build a RISC-V processor using only free VLSI CAD tools with a symbolic technology approach (a refined Mead-Conway method as formerly used by MOSIS). The toolchain is currently organised as follow :

  1. A design description in VHDL language.

  2. Simulation with GHDL.

  3. Logical synthesis with Yosys. We use a frontend to convert VHDL into Verilog (from Alliance).

  4. Physical design (place & route) using Coriolis.

  5. DRC & LVS using Alliance.

  6. Timing analysis with Tas & Yagle.

  7. Symbolic to real translation (Alliance).

Our first objective is to design a RISC-V for AMS 350nm node (c35b4).

The choice of symbolic technology is mainly made for three reasons :

  1. Node portability. From one symbolic layout, you may target multiple technologies. Only step 7 needs to be done.

  2. Community. Symbolic layout do not contains any NDA related information. As such it can freely be published and shared.

  3. Security. With a published layout, everybody can check that the chip send back from the foundry is exactly what it should be (no hardware trojan).

/Jean-Paul Chaput holds a Master Degree in MicroElectronics and Software Engineering. He joined the LIP6 laboratory within SU (formerly UPMC) in 2000. Currently he is a Research Engineer in the Analog and Mixed Signal Team at LIP6. His main focus is on physical level design software. He is a key contributor in developing and maintaining the Alliance & Coriolis VLSI CAD projects for CMOS technologies. In particular he contributed in developing the routers of both Alliance & Coriolis and the whole Coriolis toolchain infrastructure. He his now a key contributor in extending Alliance & Coriolis to the Analog Mixed-Signal integration for nanometric CMOS technologies./

Teaching basic computer architecture, assembly language programming, and operating system design using RISC-V

By Liliana Andrare, Mounir Benabdendi, Olivier Muller, Frédéric Rousseau, Frédéric Pétrot (Grenoble-IPN).

This talk presents the work done by the team teaching computer architecture and assembler level programming at the Institute of Engineering of Univ. Grenoble Alpes (Grenoble INP Ensimag, Grenoble INP Phelma and Polytech'Grenoble).

We will in particular detail what are the goals of these classes and how we mapped them on the RISC-V architecture. We will also have demos at hand for those interested in the putative use of this material, as teachers or hobbyists.

Starting in 1994, Frédéric Pétrot was assistant professor at Universié Pierre et Marie Curie in Paris, where he was primary teaching VLSI design, CAD algorithms for VLSI design, bases of operating systems, and practical use of parser generators (but also C, ADA, UNIX, …). He was one of the main contributor of the open-source Alliance CAD system, still in use today. He also started working on ESL tools, building the ancestor of the SoCLib SystemC library. He moved to Grenoble INP ENSIMAG in 2004, taking the responsibility of all classes related to logic circuit design and computer architecture. He still teaches UNIX, bases of OS design and knows no other editor than vim.

2nd RISC-V Meeting Keynotes

The Momentum and Opportunity of Custom, Open Source Processing

By Bertrand Tavernier (Thales R&T, The RISC-V Foundation).

The growth of human and business interaction with technology continues to explode. At the literal heart of that technology sits a silicon core, combined with general and specific instructions and connections. The insane cost, risk, development time, necessary volumes, and limited computing demands kept the lucrative chip opportunity within reach of just a handful of companies – focused mostly on general purpose processors. New computing needs in various power and performance dimensions have increased demand and competition for custom processors. This pressure is quietly and rapidly disrupting the processor industry. An Open source approach to processors now reduces risk and investment, with accelerated time to market, and opens the opportunity to thousands of possible custom processors. Learn about the trends, opportunities, and examples – from smart watches to supercomputers – as well as the global momentum of RISC-V!

Bertrand Tavernier is VP Software Research & Technologies of Thales R&T, a Platinum member of the RISC-V Foundation.

It's the Instruction Fetch Front-End, Stupid!

By André Seznec (INRIA).

Achieving high single-thread performance remains a major challenge even in the multicore era. To achieve ultimate single-thread performance, a uniprocessor needs a very efficient memory hierarchy, an aggressive out-of-order execution core and a highly efficient instruction fetch front-end engine.

In this talk, I will focus on the challenges for the design of the instruction fetch frond-end in a very wide-issue processor.

André Seznec is a Fellow Research Director (DR0) at IRISA-INRIA in Rennes. His main research activity has ported on the architecture of microprocessors, including caches, pipeline, branch predictors, speculative execution, multithreading and multicores. His research has influenced the design of many high-end industrial microprocessors, particularly the caches and the branch predictors.

André Seznec is member of the hall of fame of the 3 major conferences in computer architecture, ACM/IEEE ISCA, IEEE HPCA and ACM IEEE Micro. He received the first Intel Research Impact Medal in 2012 for his « exemplary work on high-performance computer micro-architecture, branch prediction and cache architecture. » He is a IEEE fellow (2013) and an ACM fellow (2016).

European Processor Initiative: challenges & opportunities for RISC-V accelerators in an HPC platform

By Romain Dolbeau (EPI, ATOS).

The European Processor Initiative (EPI) is a project currently implemented under the first stage of the Framework Partnership Agreement signed by the Consortium with the European Commission (FPA: 800928), whose aim is to design and implement a roadmap for a new family of low-power European processors for extreme scale computing, high-performance Big-Data and a range of emerging applications.

In this talk, I will describe the currently anticipated architecture of the EPI design and how to leverage this architecture in the software, using open standards. In particular, the EPI project is developing IP for a set of RISC-V-based accelerators designed to connect directly to the processor network-on-chip. I'll also talk on how EPI plan to integrate those IP in a silicon device, and how other accelerators IP designers could leverage EPI to create new high-performance multi-chip processing devices.

Romain Dolbeau is a Distinguished Expert at Atos-Bull. After studying computer architecture at Université Paris XI, Université Rennes 1 and ENS Cachan, Romain co-founded and joined CAPS entreprise, a pioneer company in compilation that introduced directive-based programming for heterogeneous computing with the HMPP technology. Romain joined Bull in 2014 as an HPC expert, helping customers leverage both CPU and accelerators to get the best performance out of their supercomputers. Since late 2018, Romain is working as the lead software architect for the EPI project.

2nd RISC-V Meeting Presentations

Ecological transition in ICT: A role for open hardware ?

By David Bol (ECS, ICTEAM, UC Louvain).

Technological innovation has been fueling our financial economic system focused on growth. It allowed the prosperity of developed countries but also lead to technical obsolescence, accumulation of technologies and life activity acceleration as by-products. Pursuing the exponential economic growth on a finite planet lead us to an environmental crisis whose climate change is the most visible symptom. The emergency we are facing calls for an ecological transition towards more sustainable society and economy based on resource efficiency, sobriety and resilience. In this context, it is important for engineers to critically analyze our technological innovation habits.

This talk gives a provocative personal point of view of innovation habits in the field of information and communication technologies (ICT), where exponential trends (Moore's law, Cooper's law, Koomey's law) define the R&D roadmaps. We will discuss the potential role of open(-source) hardware towards a more sustainable innovation Bio:

David Bol is an assistant professor at the Electronic Circuits and Systems (ECS) group, ICTEAM Institute of UC Louvain (UCL). He received the Ph.D degree in Engineering Science from UCLouvain in 2008 in the field of ultra-low power digital nanoelectronics. In 2005, he was a visiting Ph.D student at the CNM, Sevilla, Spain, and in 2009, a postdoctoral researcher at intoPIX, Louvain-la-Neuve, Belgium. In 2010, he was a visiting postdoctoral researcher at the UC Berkeley Lab for Manufacturing and Sustainability, Berkeley, CA. In 2015, he participated to the creation of e-peas semiconductors spin-off company, Louvain-la-Neuve, Belgium. He leads the Electronic Circuits and Systems (ECS) research group focused on ultra-low-power design of smart-sensor integrated circuits for the IoT and biomedical applications with a specific focus on environmental sustainability. His personal IC interests include computing, power management, sensing and wireless communications. Prof. Bol has authored more than 100 papers and conference contributions and holds three delivered patents. He (co-)received three Best Paper/Poster/Design Awards in IEEE conferences (ICCD 2008, SOI Conf. 2008, FTFC 2014). He serves as a reviewer for various IEEE journals/conferences and presented several keynotes in international conferences. On the private side, he pioneered the parental leave for male professors in his institute to spend time connecting to nature with his family.

A RISC-V ISA Extension for Ultra-Low Power IoT Wireless Signal Processing

By Hela Belhadj Amor, Carolynn Bernier (CEA LETI), Zdeněk Přikryl (Codasip GmbH).

We present an instruction-set extension to the open-source RISC-V ISA (RV32IM) dedicated to ultra-low power (ULP) software-defined wireless IoT transceivers. The custom instructions are tailored to the needs of 8/16/32-bit integer complex arithmetic typically required by quadrature modulations. The proposed extension occupies only 3 major opcodes and most instructions are designed to come at a near-zero hardware and energy cost. A functional model of the new architecture is used to evaluate four IoT baseband processing test benches: FSK demodulation, LoRa preamble detection, 32-bit FFT and CORDIC algorithm. Results show an average energy efficiency improvement of more than 35% with up to 50% obtained for the LoRa preamble detection algorithm.

Carolynn Bernier is a wireless systems designer and architect specialized in IoT communications. She has been involved in RF and analog design activities at CEA, LETI since 2004, always with a focus on ultra-low power design methodologies. Her recent interests are in low complexity algorithms for machine learning applied to deeply embedded systems.

Development of a RV64GC IP core for the GRLIB IP Library

By Jan Andersson (Cobham Gaisler).

Cobham Gaisler is a world leader for space computing solutions where the company provides radiation tolerant system-on-chip devices based around the LEON processors. The building blocks for these devices are also available as IP cores from the company in an IP library named GRLIB. Cobham Gaisler is currently developing a RV64GC core that will be provided as part of GRLIB. The presentation will cover why we see RISC-V as a good fit for us after SPARC32 and what we see missing in the ecosystem features

Mr Jan Andersson's key competencies are in Management of projects developing complex digital systems, microprocessor architecture, fault-tolerance concepts, use of programmable logic, Field Programmable Gate Arrays for applications both in consumer electronics and harsh environments. Background: Master of Science degree in Computer Engineering focused on digital design and embedded systems. Working at Cobham Gaisler as Director of Engineering, overseeing hardware and software development efforts.

R&D challenges for Safe and Secure RISC-V based computer

By Arnaud Samama, Emmanuel Gureghian, Fabrice Lemonnier, Eric Lenormand and Thierry Collette (Thales R&T).

Thales is involved in the open hardware initiative and joint the RISC-V foundation last year. In order to deliver safe and secure embedded computing solutions, the availability of Open Source RISC-V cores & IPs is a key opportunity. In order to support and emphases this initiative, an european industrial ecosystem must be gathered and set up. Key R&D challenges must be therefore addressed. In this presentation, we will present the research subjects which are mandatory to address in order to accelerate.

In January 2019, Thierry Collette became the director of the digital research group at Thales Research France. Previously, Thierry Collette was the head of a division in charge of technological development for embedded systems and integrated components at CEA Leti & List for eight years. He was the CTO of the European Processor Initiative (EPI) in 2018. Before that, he was the deputy director in charge of programs and strategy at CEA List. From 2004 to 2009, he managed the architectures and design unit at CEA. He obtained an electrical engineering degree in 1988 and a Ph.D in microelectronics at the University of Grenoble in 1992. He contributed to the creation of five CEA startups: ActiCM in 2000 (bought by CRAFORM), Kalray in 2008, Arcure in 2009, Kronosafe in 2011, and WinMs in 2012.

RISC-V ISA: Secure-IC's Trojan Horse to Conquer Security

By Rafail Psiakis & Sylvain Guilley (Secure IC).

RISC-V is an emerging instruction-set architecture widely used inside plenty of modern embedded SoCs. As the number of commercial vendors adopting this architecture in their products increases, security becomes a priority. In Secure-IC we use RISC-V implementations in many of our products (e.g. PULPino in Securyzr HSM, PicoSoC in Cyber Escort Unit, etc.). The advantage is that they are natively protected against a lot of modern vulnerability exploits (e.g. Specter, Meltdow, ZombieLoad and so on) due to the simplicity of their architecture. For the rest of the vulnerability exploits, Secure-IC crypto-IPs have been implemented around the cores to ensure the authenticity and the confidentiality of the executed code. Due to the fact that RISC-V ISA is open-source, new verification methods can be proposed and evaluated both at the architectural and the micro-architectural level. Secure-IC with its solution named Cyber Escort Unit, verifies the control flow of the code executed on a PicoRV32 core of the PicoSoC system. The community also uses the open-source RISC-V ISA in order to evaluate and test new attacks. In Secure-IC, RISC-V allows us to penetrate into the architecture itself and test new attacks (e.g. sidechannel attacks, Trojan injection, etc.) making it our Trojan horse to conquer security.

Alternative languages for safe and secure RISC-V programming

By Fabien Chouteau (Ada Core).

In this talk I want to open a window into the wonderful world of "alternative" programming languages for RISC-V. What can you get by looking beyond C/C++.

So I will start with a quick introduction to the Ada and SPARK languages, the benefits, the hurdles. I will also present an overview of the applications and domains where they shine, when failure is not an option.

At the end of the talk, I will give my view of the RISC-V architecture and community from the perspective of an alternative languages developer. I will cover the good points, the risks, and provide some ideas on how the RISC-V can keep the door open.

Fabien joined AdaCore in 2010 after his master's degree in computer science at the EPITA (Paris). He is involved in real-time, embedded and hardware simulation technology. Maker/DIYer in his spare time, his projects include electronics, music and woodworking.

Verification of SimNML instruction set description using co-simulation

By Hugues Cassé, Emmanuel Caussé, Pascal Sainrat (IRIT - Université de Toulouse).

The TRACES team at IRIT has developed a description of the RISC-V instruction set in SimNML, which is an Architecture Description Language (ADL). GLISS automatically convert this description into a library supporting, among others, a runnable Instruction Set Simulator.

This presentation exposes the validation of our RISC-V description by parallely running and checking the generated simulator with a different source of execution implementing the RISC-V (different simulator or real microprocessor). This work contributes to the confidence we can have into static analysis tools working on program binary representation.

In such tools, the instruction set support is a boring and error-prone task whose validity is hard to assert. On the opposite, the SimNML description provides a golden model that is easier to write and that can be tested to detect errors. Once a sufficient level of confidence is obtained about the description, it can be processed automatically to derive properties useful for static analyses work.

Hugues Cassé is professor-assistant in the University of Toulouse. He performs research on WCET focused on the static analysis of memories and caches and on the value analysis of binary code. He is the designer and the main developer of the academic WCET tool O TAWA . He has been involved in several ANR projects (MascotTe, MORE, W-SEPT), European projects (MERASA, parMERASA), and other projects (SOCKET – FUI, CAPACITES – DGE – CAPACITES).

Fast and Accurate Vulnerability Analysis of a RISC-V Processor

By Joseph Paturel, Simon Rokicki, Davide Pala, Olivier Sentieys (INRIA).

As the RISC-V ISA gains traction in the safety-critical embedded system domain, the development of hardened cores becomes crucial. During this presentation, we present a vulnerability analysis framework that allows for a fast and accurate estimation of processor errors due to transient faults. The proposed set of tools is based on the 32-bit RISC-V core Comet supporting the M extension. The generated hardware's reaction to particle hits is characterized at the gate-level using logic transient pulse width based on physical transistor models. The Comet core being designed at the C level with high-level synthesis tools, a fast, cycle- and bit-accurate simulator can be derived from the core specifications. The previously extracted error patterns are hence re-injected in the core during the execution of applications and the system response is evaluated. This enables the estimation of various vulnerability related metrics and can swiftly drive the core-hardening design process. Results show that the combinational logic needed to implement the M extension plays a non-negligible role in the overall core vulnerability and that multiple-bit upset patterns need to be considered.

Olivier Sentieys is a Professor at the University of Rennes holding an INRIA Research Chair on Energy-Efficient Computing Systems. He is leading the Cairn team common to Inria and IRISA Laboratory. He is also the head of the “Computer Architecture” department of IRISA. His research interests include system-level design, energy-efficiency, reconfigurable systems, hardware acceleration, approximate computing, fault tolerance, and energy harvesting sensor networks.

Coarse-grained power modelling and estimation using the Hardware Performance Monitors (HPM) of the RISC-V Rocket core

By Caaliph Andriamisaina (CEA LIST), Pierre-Guillaume Le Guay, (CEA LIST).

Power consumption monitoring of a processor is important for power management to reduce power usage. Performance counters have been widely used as proxies to estimate processor power online. This work focus on the dynamic power modelling at register-transfer level (RTL) of the RISC-V Rocket core, developed at the University of California, Berkeley. By creating our power model at RTL level, we aim at providing a coarse-grained estimation of power consumption, intended at the early stage of development and for software developers.

The proposed power modelling methodology is based on the Hardware Performance Monitors (HPM) defined in the RISC-V ISA and implemented in the rocket-chip. These HPM monitor different events that take place during instructions execution and reveal several amount of information about power consumption. These events can be the number of cycles, the number of instructions retired, caches misses, etc.

Pierre-Guillaume Le Guay is a research engineer at CEA List, computing and design environment laboratory. He received the MSc degree in electrical engineering from Université Paris-Sud, Orsay, in 2017. His current research topics focus on the power consumption estimation and modelling applied to embedded systems and multicore architectures.

Ara: design and implementation of a 1GHz+ 64-bit RISC-V Vector Processor in 22 nm FD-SOI

Matheus Cavalcante, Fabian Schuiki, Florian Zaruba, Michael Schaffner (ETH Zurich), Luca Benini (ETH Zurich & Universitá di Bologna).

In this presentation, we will discuss about our design and implementation experience with Ara, a vector processor based on RISC-V's Vector Extension. Ara is implemented in GlobalFoundries 22FDX FD-SOI technology. Its latest instance runs at up to 1.2 GHz in nominal conditions, achieving a peak performance of up to 34 DP-GFLOPS and an energy efficiency of up to 67 DP-GFLOPS/W. We will discuss the performance and scalability of Ara, including its limitations under different work loads, and show that the vector processor achieves a high utilization of its functional units, up to 97%, when running a 256x256 matrix multiplication on sixteen lanes. Ara will be released as part of the PULP platform using the same permissive Solderpad license.

Matheus Cavalcante received the M.Sc. degree in Integrated Electronic Systems from the Grenoble Institute of Technology (Phelma) in 2018 and is currently pursuing his Ph.D. degree with the Digital Circuits and Systems group of Luca Benini at ETH Zurich. His research interests encompass high-performance computing (namely vector processing) and interconnection networks.

An Out-of-Order RISC-V Core Developed with HLS

By Bernard Goossens & David Parello (UPVD).

I will introduce the out-of-order RISC-V core (4-stage pipeline: fetch + decode + rename; issue; writeback; commit) that we developed. Everything is written entirely in C under Vivado HLS. The code has been successfully tested on a Pynq card (free development board provided to teacher-researchers upon request to Xilinx, as part of the XUP initiative). This RISC-V core should be understood as a basic kit on which users are invited to add extensions. The RISC-V core does not contain any traditional accelerator for filling the pipeline (eg branch predictor, caches) or floating operators (only the set of 32-bit integer instructions has been implemented). It can serve as a nutshell to add units and measure their effects, for example in the context of educational projects. This RISC-V core is the core brick of the LBP processor, a 64-cores manycore parallelizing processor, under development.

Bernard Goossens is Professor Emeritus at the University of Perpignan (UPVD). He is a member of the Dali team at LIRMM. His research is on the capture of very distant ILP.

Open source GPUs: How can RISC-V play a role?

By Nima Taherinejad (TU Wien).

In this talk, first, I briefly review existing open source GPUs and their status. Given its merit and the work we have done in group on the award-winning Nyuzi GPGPU, I will pay a closer attention to that work. Next, I will discuss some of the challenges they face as well as the importance of investing more into research and development of such architectures and potential direction of such research and development. At the end, I position RISC-V with respect to the open source GPUs and present some ideas on how RISC-V and its community can play a role in a potentially joint future.

Nima Taherinejad is a PhD graduate of the University of British Columbia (UBC), Vancouver, Canada. He is currently at the TU Wien (formerly known also as Vienna University of Technology), Vienna, Austria, where he leads the system-on-chip (SoC) educational MSc module and works on self-awareness in resource-constrained cyber-physical systems, embedded systems, memristor-based circuit and systems, health-care, and robotics. In the field of computer architecture his activities revolve mainly around GPU architectures and resource management in multi-processor SoCs.

Open-source processor IP in the SCRx family of the RISC-V compatible cores by Syntacore

By Ekaterina Berezina, Dmitry Gusev, Alexander Redkin (Syntacore).

We describe family of the state-of-the-art RISC-V compatible processor IP developed by Syntacore with a specific focus on the open-source part of the product line.

As of 2019, SCRx family of RISC-V compatible cores includes eight industry-grade cores with comprehensive features, targeted at different applications: from compact microcontroller-class SCR1 core to the high-performance 64bit Linux-capable multicore SCR7. The SCRx cores deliver competitive performance at low power already in baseline configurations. On the top, Syntacore provides one-stop workload-specific customization service to enable customer designs differentiation via significant performance and efficiency boost. Industry-standard interfacing options support enables seamless integration with existing designs.

We detail IP features, benchmarks, and collateral availability, with a specific focus on the open-source SCR1 core. Initially introduced in 2017, SCR1 is one of the first fully open and free to use industry-grade RISC-V compatible cores, which, since its introduction, found extensive use both in the industry and in academia. https://github.com/syntacore/scr1.

Ekaterina Berezina is a Senior HW Engineer at Syntacore, where she contributes to the SCRx core family development and maintenance. Ekaterina has more than 6 years of experience in CPU IP development including architecture and microarchitecture definition, RTL design, testing and verification, area/timing/power optimization for ASIC and FPGA. She received her Master's degree in Computer Science at Saint-Petersburg ITMO University and teaches Computer Architecture classes there.

Open Source Processor IP for High Volume Production SoCs: CORE-V Family of RISC-V cores

By Rick O'Connor (OpenHW Group).

This talk will provide a brief overview of the RISC-V instruction set architecture and describe the CORE-V family of open-source cores that implement the RISC-V ISA. RISC-V (pronounced “risk-five”) is an open, free ISA enabling a new era of processor innovation through open standard collaboration. Born in academia and research, RISC-V ISA delivers a new level of free, extensible software and hardware freedom on architecture, paving the way for the next 50 years of computing design and innovation.

CORE-V is a series of RISC-V based open-source processor cores with associated processor subsystem IP, tools and software for electronic system designers. The CORE-V family provides quality core IP in line with industry best practices in both silicon and FPGA optimized implementations. These cores can be used to facilitate rapid design innovation and ensure effective manufacturability of production SoCs.

The session will describe barriers to adoption of open-source IP and opportunities to overcome these barriers.

Rick O'Connor is Founder and serves as President & CEO of the OpenHW Group a not-for-profit, global organization driven by its members and individual contributors where hardware and software designers collaborate on open source cores, related IP, tools and software projects. The OpenHW Group Core-V Family is a series of RISC-V based open-source cores with associated processor subsystem IP, tools and software for electronic system designers.

Previously Rick was Executive Director of the RISC-V Foundation. RISC-V (pronounced “risk-five”) is a free and open ISA enabling a new era of processor innovation through open standard collaboration. Founded by Rick in 2015 with the support of over 40 Founding Members, the RISC-V Foundation currently comprises more than 235 members building an open, collaborative community of software and hardware innovators powering processor innovation. Born in academia and research, the RISC-V ISA delivers a new level of free, extensible software and hardware freedom on architecture, paving the way for the next 50 years of computing design and innovation.

Throughout his career, Rick has continued to be at the leading-edge of technology and corporate strategy and has held executive positions in many industry standards bodies. Also, with many years of Executive level management experience in semiconductor and systems companies, Rick possesses a unique combination of business and technical skills and was responsible for the development of dozens of products accounting for over $750 million in revenue. With very strong interpersonal skills, Rick is a regular speaker at key industry forums and has built a very strong professional network of key executives at many of the largest global technology firms including: Altera (now part of Intel), AMD, ARM, Cadence, Dell, Ericsson, Facebook, Google, Huawei, HP, IBM, IDT, Intel, Microsoft, Nokia, NXP, RedHat, Synopsys, Texas Instruments, Western Digital, Xilinx and many more.

Rick holds an Executive MBA degree from the University of Ottawa and is an honors graduate of the faculty of Electronics Engineering Technology at Algonquin College.

Silicon at the speed of software

By Yann Loisel (SiFive).

For 30+ years, chips kept getting faster and cheaper. In the race to get to the next process node, there wasn't time or a need to customize. But the world has changed—compute has hit a limit and the cost of building chips keeps increasing exponentially. The next wave of innovation is now happening at the hardware-software interface, and companies need custom silicon solutions to stay ahead. SiFive is leading the charge.

SiFive brings the power of open source and software automation to the semiconductor industry, making it possible to develop new hardware faster and more affordably than ever before. With our platform for rapidly designing, testing and building RISC V-based core IP and chips, we’re accelerating the pace of innovation for businesses large and small. You don’t need to be an expert in silicon design to produce custom chips. SiFive’s platform makes it possible to design at the system level and create chips that meet your exact specifications without deep pockets or a high-volume guarantee.

The inventors of RISC V joined forces with silicon experts bringing a new approach to semiconductors together with decades of industry experience, hundreds of tapeouts and millions of chips shipped.

After receiving his degree in Cryptography, Yann started work at the French DoD, finally reaching the position of Cryptanalysis Team Manager. He then successively joined SCM Microsystems GmbH, managing the security of smart card readers and DVB payTV decoders, then Innova Card, a fabless company providing secure microcontrollers, acting as Chief Security Officer and joined Maxim Integrated as Security Architect, managing all security-related topics including physical protection, cryptography, applications security, and certifications. He’s now Security Architect at SiFive, in charge of defining the platform security at the system level for SiFive RISC-V chips.

Nanvix: An Operating System for Lightweight Manycores

By Pedro Henrique Penna (PUC Minas, UGA), Marcio Castro (UFSC, Brésil), François Broquedis (INPG), Henrique Cota de Freitas (PUC Minas, Brésil), Jean-François Méhaut (UGA).

Lightweight manycores differ from other high core count architectures in two major architectural points: they feature a distributed memory memory architecture; and they have their cores grouped into clusters with small amounts of local memory available. Nanvix is general purpose operating system (OS) that we designed from scratch to address this next generation of processors. Our OS features a distributed structure, in which traditional OS functionalities are implemented as system servers; and it aims at a novel distributed paging system to overcome architectural challenges of lightweight manycores. So far, a great effort was made to make Nanvix portable and performant across multiple targets, including industrial processors, such as MPPA (Kalray), and academic lightweight manycores, like those based in OpenRISC (OpTiMSoC) and RISC-V (PULP). Nanvix delivers these features through a rich hardware abstraction layer (HAL), which we shall cover in this talk. Nanvix source tree: https://github.com/nanvix

Pedro Henrique Penna is a PhD Candidate in Informatics at Université Grenoble Alpes (UGA, France) in a cotutelle regime with Pontifícia Universidade Católica de Minas Gerais (PUC Minas, Brazil). In his thesis, Pedro is focused on the design of operating systems for lightweight manycore processors, and he works in collaboration with Kalray and Technical University of Munich (TUM, Germany) in this subject. Pedro earned his Master Degree in Computer Science from Universidade Federal de Santa Catarina (UFSC, Brazil) in 2017, and he is the main designer of Nanvix.

Enhancing scientific computation using a variable precision FPU with a RISC-V processor

By Yves Durand (CEA LETI).

Scientific computation applications are almost exclusively based on single or double precision floating point formats of the IEEE-754 standard. These formats, of respectively 32 or 64 bits, have a fixed structure, which means that they are unlikely to exactly match the needs of the application. At best, it will be overkill, meaning wasted time, memory and power in computing useless bits. At worst, it will be insufficient, meaning numerically wrong results with possible catastrophic consequences in a world where embedded computing systems interfere more and more with our lives.

We exploit the extensibility of RISC-V for adding support for variable precision floating point operations, and for variable length floating point formats in close memory. In this talk, we discuss the impact of these extensions on the system architecture, at all levels of the computing stack. We propose examples based on linear algebra kernels, which demonstrate the improvements in numerical quality and confidence in the numerical results.

Yves Durand received his engineering degree in 1983 and a PhD in computer science in 1988. He worked with ST Microelectronics as a research engineer, then moved to Hewlett Packard in 1993 and led R&D projects related to networking interfaces and « smart communicating objects ». He then joined the Laboratoire d'Electronique et de Technologie de l'Information (CEA-LETI), Grenoble, in 2003. He has been coordinating the IST FP6 4More project. His current focus is numerical modelling of computing systems.

Challenges to Adoption of Open-Source RISC-V Processors

By Zdeněk Přikryl & Chris Jones (Codasip GmbH).

The RISC-V movement offers the greatest potential for innovation in SoC design in a decade as a global ecosystem of contributors has emerged. This movement offers unprecedented choice for both research and for commercial consumers of processor technology. However, going from open source RISC-V implementation to deployment in a real production design requires cooperation of commercial IP and tools suppliers. Codasip endeavours to bridge the gap between open source and proprietary ISAs by offering professional grade RISC-V implementations and development tools for end-users to modify and optimize the architecture. This presentation will discuss many of the challenges of commercial use of RISC-V and Codasip's approach to addressing them in a manner that benefits the entire RISC-V community.

Dr Zdeněk Přikryl is the co-founder and chief technology officer of Codasip GmbH. He has over 10 years of experience in processor design from small MCUs to complex DSPs/VLIWs, along with embedded systems design, HLS, and simulation. Previously he was a Researcher at the Technical University of Brno and a software engineer at Red Hat.

Extending the CompCert certified compiler with instruction scheduling and control-flow integrity

By Sylvain Boulmé (ENSIMAG, Verimag, Université Grenoble-Alpes).

The CompCert certified compiler – developed by [Xavier Leroy et al. 2006-2018] at Inria – is the first optimizing C compiler with a formal proof of correctness. In particular, it does not have the middle-end bugs usually found in compilers [Yang et al. 2011]. It is now used in real-time safety-critical industry [Bedin França et al. 2012; Kästner et al. 2018]. It produces assembly code for several processors including RISC-V (32 bit and 64 bit).

This talk will present two backends of CompCert developed at the Verimag Laboratory of Grenoble. The first one – jointly developed with Cyril Six (Kalray-Verimag) and David Monniaux (Verimag) – targets the K1c processor of Kalray. This backend features a (certified) postpass scheduling which optimizes running-times of the produced program by exploiting the instruction-level-parallelism of this VLIW processor.

Our second (more experimental) backend targets the intrinSec processor designed by Olivier Savry et al at LETI. This secure cryptoprocessor extends the RISC-V Instruction Set with instructions and registers for protecting Control-Flow Integrity (CFI). With Paolo Torrini (Verimag), we have modified the RISC-V backend of CompCert in order to include these CFI protections. We are formally proving the functional correctness of this backend.

Sylvain Boulmé is Maître de conférences (associate professor) at ENSIMAG (Engineering school in Information Technology). His research applies the Coq proof assistant and the OCaml typechecker the verification of software in toolchains (in particular static analyzers and compilers).

Complete Formal Verification of RISC-V Cores for Trojan-Free Trusted ICs

By Sergio Marchese (OneSpin Solutions)

RISC-V processor IPs are increasingly being integrated into system-on-chip designs for a variety of applications. However, there is still a lack of dedicated functional verification solutions supporting high-integrity, trusted integrated circuits. This presentation examines an efficient, novel, formal-based RISC-V processor verification methodology. The RISC-V ISA is formalized in a set of Operational SystemVerilog assertions. Each assertion is formally verified against the processor’s RTL model. Crucially, the set of assertions is mathematically proven to be complete and free from gaps, thus ensuring that all possible RTL behaviors have been examined. This systematic verification process detects both hardware Trojans and genuine functional errors present in the RTL code. The solution is demonstrated on an open-source RISC-V implementation using a commercially available formal tool, and is arguably a significant improvement to previously published RISC-V ISA verification approaches, advancing hardware assurance and trust of RISC-V designs.

Sergio Marchese is technical marketing manager at OneSpin Solutions. He has 20 years of experience in electronic chip design, and deployment of advanced hardware development solutions across Europe, North America, and Asia. His expertise covers IC design, functional verification, safety standards, including ISO 26262 and DO-254, and detection of hardware Trojans and security vulnerabilities. He is passionate about enabling the next generation of high-integrity chips that underpin the Internet of Things, 5G, artificial intelligence, and autonomous vehicles.

Formal Proof of RISC-V Cores

By Alexandre Alves, Jimmy Le Rhun, Delphine Longuet and Romain Soulat (Thales R&T).

Formal verification of hardware designs is a classical application of model checking in industry. RISC-V cores can be formally verified for functional correctness and framework already exist to automatically perform that kind of verification. When designs includes safety or security mechanisms, special additional verification requirements can be added to formally verify that those mechanisms performs correctly against threats or feared events.

Romain Soulat is working at Thales Research and Technology (TRT) on the application of formal methods. He obtained his PhD. from Ecole Normale Supérieure Paris-Saclay in 2014 on the subject of formal verification of timed automata and controllers. In 2014, he joined the Critical Embedded Systems Laboratory at TRT to work on the topic of formal verification. His current research focus on model checking at system or implementation levels, numerical accuracy analysis and formal verification of AI-based systems.

Speakers of the Scientifc Day on RISC-V for critical embedded systems

European Processor Initiative: First step towards a made-in-Europe high-performance microprocessor

By Denis Dutoit, CEA LETI

The European Processor Initiative (EPI) is a project funded by the European Commission, whose aim is to design and implement a roadmap for a new family of low-power European processors for extreme scale computing, high-performance Big-Data and a range of emerging applications. The project started in December 2018 and aims to deliver a high-performance, low-power processor, implementing ARM based general purpose processors and RISC-V based specific accelerators. The EPI processor will also meet high security and safety requirements. This will be achieved through intensive use of simulation, development of a complete software stack and tape-out in the most advanced semiconductor process node.

After an introduction on High Performance Computing new challenges and associated technology/architecture evolution, the presentation will highlight the EPI position statement on generic computing, accelerator with RISC-V and design methodology. The presentation will end with EPI’s roadmap towards a wide range of applications from Exascale computing to embedded HPC.

Denis Dutoit, EPI global architecture leader, Architecture, IC Design and Embedded Software Division, Leti

Denis Dutoit joined CEA-Leti in 2009, after working for STMicroelectronics and STEricsson. In CEA-Leti, he has been involved in System-on-a-Chip architecture for computing and 3D Integrated Circuit projects. After defining the Leti’s roadmap of technologies and solutions for advanced computing, Denis Dutoit is now involved in European Projects in High Performance Computing as coordinator, project leader and SoC architect.

What does the space industry expect from RISC-V?

By Antoine Certain, Airbus Defence & Space

The space industry has some particularities which makes the usage of COTS components quite difficult. But, with the emergence of new space designs based on COTS, the space industry open its doors to a bigger ecosystem. And the RISC V ecosystem could answer to the major requirements of spacecraft design. This presentation will present the main requirements such industry expect from a core IP.

Antoine CERTAIN is an experienced hardware and software architect on embedded data-handling applications on spacecraft. He has gained large scale of space knowledge thanks to several projects for ESA, CNES and internally to Airbus Defence and Space. He is now team leader of the R&D On board data processing team of Airbus Defence and Space in Toulouse, FR.

Development of a RV64GC IP core for the GRLIB IP Library

By Jan Andersson, Cobham Gaisler

Cobham Gaisler is a world leader for space computing solutions where the company provides radiation tolerant system-on-chip devices based around the LEON processors. The building blocks for these devices are also available as IP cores from the company in an IP library named GRLIB. Cobham Gaisler is currently developing a RV64GC core that will be provided as part of GRLIB. The presentation will cover features of the IP core and how it fits with existing peripherals, with technical items we see missing in the specification.

Mr Jan Andersson is working at Cobham Gaisler as Director of Engineering, overseeing hardware and software development efforts. Its key competencies are in management of projects developing complex digital systems, microprocessor architecture, fault-tolerance concepts, use of programmable logic, Field Programmable Gate Arrays for applications both in consumer electronics and harsh environments. He holds a Master of Science degree in Computer Engineering focused on digital design and embedded systems.

RISC-V in embedded applications

By Michael Chapman, Cortus

Cortus is a French ASIC design company with a very large selection of IPs available including processors (Cortus proprietary ISA, RISC-V ISA), and many other Digital, Analog/RF and Security (HW & SW) which together with its ASIC Design expertise enables it to architect, design and implement innovative chips for its clients.

Cortus provides a comprehensive and complete toolchain package such as debugger, compiler, IDE, etc, for all the chips it develops.

To facilitate the work of software developers, Cortus can also provide FPGA prototypes.

Cortus has designed and is designing chips and modules for customers incorporating RISC-V processors in the following application fields: Satellite, Avionics, Automotive, IoT, Hardware Security Module, HPC (outside Europe)

Michael Chapman is the creator of microprocessors, micro-controllers, CAN (Controller Area Network) and System C.

He has worked on a Silicon on Saphire radiation hard microprocessor chip set for Marconi Space and Defence, a pure asynchronous chip for Acorn computers, and developed all the initial CAN implementations including the Intel 82526 and those for Bosch internal implementations, Philips, Motorola, National, NEC, Siemens as well as the Intel 82527 and those on Intel MCUs. He also developed MCUs for engine management and ABS.

He designed a new generation 16 bit micro-controller for Siemens and modeled that controller in 'C'. The simulation environment he created escaped from Siemens and became the foundation of System C.

In 2003, he created the first Cortus processor which is at the heart of security solutions used in bank cards, SIM cards, e-passport and is the root of trust in many devices including Blackberry, Intel, Fujitsu, etc.

Achieving determinism and performance on the RISC-V FlexPRET Processor

By Eric Jenn, IRT Saint-Exupéry

Performance improvement usually comes at the cost of temporal determinism. Trading better average performance for a loss of predictability is sometimes acceptable, but it is not for safety-critical applications where the time at which a value is produced is often as important as the value itself. In this talk, we address the question of temporal determinism, which is a prerequisite to dependability. We show how we combine a deterministic programming model with a deterministic hardware architecture and an “holistic” optimization process to achieve both performance and dependability. This work is applied on the MultiPRET processor, a "multicore" declination of the RISC-V FlexPRET PREcision Timed Architecture (PRET) proposed by the University of California at Berkeley.

Dr Eric Jenn is a research engineer at Thales AVS. He is currently managing the Critical Applications on Predictable High-Performance Computing Architectures (CAPHCA) collaborative research project at IRT Saint-Exupéry in Toulouse. Dr Jenn has been working in the area of safety critical systems for around 30 years, both on the analysis and development of nuclear and avionics systems. His interests cover all aspects of the development of dependable real-time systems, including certification, system modeling and design, real-time software development, formal verification, and microarchitecture design. He has participated in many collaborative research projects involving academic and industrial partners, including GUARDS, Diana, SPICES, ESPASS, etc.

RISC-V based Virtual Prototype: An Open Source Platform for Modeling and Verification

By Daniel Große, University of Bremen and DFKI GmbH

We propose an open source RISC-V based Virtual Prototype (VP) under MIT license, available at http://www.systemc-verification.org/riscv-vp. Our VP is implemented in standard compliant SystemC using a generic bus system with TLM 2.0 communication. Our VP provides a 32 and 64 bit RISC-V core with different privilege levels, the RISC-V CLINT and PLIC interrupt controllers and an essential set of peripherals. It supports simulation of (mixed 32 and 64 bit) multi-core platforms and provides SW debug and coverage measurement capabilities. We support FreeRTOS, Zephyr and Linux operating systems. Our VP allows a significantly faster simulation compared to RTL, while being more accurate than existing ISSs. The VP has been designed as configurable and extensible platform. For example we provide the configuration for the RISC-V HiFive1 board from SiFive.

Daniel Große is a Senior Researcher at the University of Bremen and the German Research Center for Artificial Intelligence (DFKI) Bremen, Germany. His research interests include verification, virtual prototyping, debugging and synthesis. He has published more than 120 papers in peer-reviewed journals and conferences and served in program committees of numerous conferences, such as DAC, ICCAD, DATE and CODES+ISSS. He received best paper awards at FDL 2007, DVCon Europe 2018, and ICCAD 2018.

Formal Verification of RISC-V Implementation Designs

By Romain Soulat, Thales Research & Technology

Formal verification of hardware designs is a classical application of model checking in industry. RISC-V cores can be formally verified for functional correctness and framework already exist to automatically perform that kind of verification. When designs includes safety or security mechanisms, special additional verification requirements can be added to formally verify that those mechanisms performs correctly against threats or feared events.

Romain Soulat is working at Thales Research and Technology (TRT) on the application of formal methods. He obtained his PhD. from Ecole Normale Supérieure Paris-Saclay in 2014 on the subject of formal verification of timed automata and controllers. In 2014, he joined the Critical Embedded Systems Laboratory at TRT to work on the topic of formal verification. His current research focus on model checking at system or implementation levels, numerical accuracy analysis and formal verification of AI-based systems.