标题： 模块化SAIL：梦想还是现实？ 显示英文标题

标题： Modular SAIL: dream or reality?

摘要： 为了真正从RISC-V ISA的模块化中受益，社区必须解决组合性问题，超越规范层面的模块，涵盖RISC-V开发流程的更大子集，包括仿真、模拟和验证。 在本文中，我们介绍了模块化SAIL，这是将组合性注入SAIL-RISCV黄金模型的一项实验。 我们表明，原则上并不难适应SAIL-RISCV流程（理想情况下是SAIL编译器本身）以支持模拟器层面的模块。 我们通过一项比较研究来支持我们的发现，该研究使用静态绑定和动态绑定来评估结果可插拔模拟器的性能，两者都表现出与原始单体模拟器（即RISC-V ISS）相同的功能行为。 显示英文摘要

摘要： 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).