Vitamin-V is a project funded under the Horizon Europe program for the period 2023-2025. The project aims to create a complete open-source software stack for RISC-V that can be used for cloud services. This software stack is intended to have the same level of performance as the x86 architecture, which is currently dominant in the cloud computing industry. In addition, the project aims to create a powerful virtual execution environment that can be used for software development, validation, verification, and testing. The virtual environment will consider the relevant RISC-V ISA extensions required for cloud deployment. Commercial cloud systems use hardware features currently unavailable in RISC-V virtual environments, including virtualization, cryptography, and vectorization. To address this, Vitamin-V will support these features in three virtual environments: QEMU, gem5, and cloud-FPGA prototype platforms. The project will focus on providing support for EPI-based RISC-V designs for both the main CPUs and cloud-important accelerators, such as memory compression. The project will add the compiler (LLVM-based) and toolchain support for the ISA extensions. Moreover, Vitamin-V will develop novel approaches for validating, verifying, and testing software trustworthiness. This paper focuses on the plans and visions that the Vitamin-V project has to support validation, verification, and testing for cloud applications, particularly emphasizing the hardware support that will be provided.

翻译：Vitamin-V是地平线欧洲计划资助的一个项目，执行期为2023年至2025年。该项目旨在为RISC-V构建一套完整的开源软件栈，可应用于云服务。该软件栈的目标是达到当前在云计算行业占主导地位的x86架构同等性能水平。此外，项目还旨在创建一个强大的虚拟执行环境，可用于软件开发、验证、确认与测试。该虚拟环境将考虑云部署所需的相关RISC-V ISA扩展。商业云系统使用了RISC-V虚拟环境中目前尚不具备的硬件特性，包括虚拟化、加密与向量化。为解决此问题，Vitamin-V将在三种虚拟环境中支持这些特性：QEMU、gem5和云FPGA原型平台。项目将重点为基于EPI的RISC-V设计提供支持，涵盖主CPU及内存压缩等云重要加速器。项目将为ISA扩展添加编译器（基于LLVM）及工具链支持。此外，Vitamin-V将开发用于验证、确认和测试软件可信度的创新方法。本文聚焦于Vitamin-V项目在支持云应用的验证、确认与测试方面的规划与愿景，并特别强调将提供的硬件支持。