Name: Sail RISC-V: Status and Future Challenges - Alasdair Armstrong, University of Cambridge
Start: 2024-10-22T11:30:00-0700
End: 2024-10-22T11:48:00-0700

October 22-23, 2024
Santa Clara, CA
View More Details & Registration

The Sched app allows you to build your schedule but is not a substitute for your event registration. You must be registered for RISC-V Summit to participate in the sessions. If you have not registered but would like to join us, please go to the event registration page to purchase a registration.

Tuesday October 22, 2024 11:30am - 11:48am PDT

Theater (Level 2)

In this talk I will present ongoing work as part of the RISC-V golden model working group to develop and maintain the Sail language and golden reference model for the RISC-V ISA. Sail is an open-source domain-specific language for ISA design and definition, which supports many use-cases, including documentation, use as a reference simulator, relaxed-concurrency semantics, hardware verification, and more.

This talk will describe our vision for the future of the RISC-V golden model. There are many challenges faced by model developers, such as the vast ecosystem of extensions and configurable options supported by RISC-V. We also need to provide a model that is more broadly useful as a source of documentation and learning for the wider RISC-V community.
I will discuss solutions for these challenges, which we intend to address both within the golden model itself, and by co-evolving Sail language itself to better support the unique needs of RISC-V. For example, we are introducing a module system for organising RISC-V extensions, a unified configuration system that supports all the aforementioned Sail use-cases, and enhanced Asciidoctor support for documentation integration.

By presenting this talk, I also hope to be able to engage further with attendees regarding their needs from a golden model.

Speakers

Alasdair Armstrong

University of Cambridge

I'm currently a research associate at Cambridge University working with Prof. Peter Sewell. In addition to developing and maintaining the Sail language, most recently I have been working on symbolic execution and relaxed-memory concurrency for Sail models, as well as formal verification... Read More →

Tuesday October 22, 2024 11:30am - 11:48am PDT
Theater (Level 2)

ISA and Design Tools

Audience Experience Level Any

RISC-V Summit

Alasdair Armstrong

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!