Modular SAIL: dream or reality?

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Kourzanov, Petr, Anmol
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866908453663932416
author Kourzanov, Petr
Anmol
author_facet Kourzanov, Petr
Anmol
contents In order to truly benefit from RISC-V ISA modularity, the community has to address the issue of compositionality, going beyond modules at the specification level covering larger subsets of the RISC-V development flow including emulation, simulation and verification. In this paper we introduce modular SAIL, an experiment to inject compositionality into the SAIL-RISCV golden model. We show that it is, in principle, not difficult to adapt the SAIL-RISCV flow (and ideally the SAIL compiler itself) to support modules at the emulator level. We back our findings by a comparative study of the resulting pluggable emulator's performance using both static and dynamic binding, which both exhibit same functional behavior as the original monolithic emulator (aka RISC-V ISS).
format Preprint
id arxiv_https___arxiv_org_abs_2507_12471
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Modular SAIL: dream or reality?
Kourzanov, Petr
Anmol
Hardware Architecture
In order to truly benefit from RISC-V ISA modularity, the community has to address the issue of compositionality, going beyond modules at the specification level covering larger subsets of the RISC-V development flow including emulation, simulation and verification. In this paper we introduce modular SAIL, an experiment to inject compositionality into the SAIL-RISCV golden model. We show that it is, in principle, not difficult to adapt the SAIL-RISCV flow (and ideally the SAIL compiler itself) to support modules at the emulator level. We back our findings by a comparative study of the resulting pluggable emulator's performance using both static and dynamic binding, which both exhibit same functional behavior as the original monolithic emulator (aka RISC-V ISS).
title Modular SAIL: dream or reality?
topic Hardware Architecture
url https://arxiv.org/abs/2507.12471