Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges

作     者：Vladimir HERDT Rolf DRECHSLER Vladimir HERDT;Rolf DRECHSLER

作者机构：Institute of Computer Science University of Bremen Cyber-Physical SystemsDFKI Gmb H 

出 版 物：《Science China(Information Sciences)》 (中国科学:信息科学(英文版))

年 卷 期：2022年第65卷第1期

页      面：5-21页

核心收录：

学科分类：08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：supported in part by the German Federal Ministry of Education and Research (BMBF)within the project Ver Sys (Grant No. 01IW19001) the project Scale4Edge (Grant No. 16ME0127) and within the project SATi SFy (Grant No. 16KIS0821K) the German Research Foundation (DFG) as part of Collaborative Research Center(Sonderforschungsbereich) 1320 EASE–Everyday Activity Science and Engineering University of Bremen (http://www.easecrc.org/ the research was conducted in subproject P04) 

主　　题：virtual prototyping RISC-V SystemC TLM verification 

摘      要：Virtual prototypes(VPs) are crucial in today s design flow. VPs are predominantly created in System C transaction-level modeling(TLM) and are leveraged for early software development and other system-level use cases. Recently, virtual prototyping has been introduced for the emerging RISC-V instruction set architecture(ISA) and become an important piece of the growing RISC-V ecosystem. In this paper, we present enhanced virtual prototyping solutions tailored for RISC-V. The foundation is an advanced open source RISC-V VP implemented in System C TLM and designed as a configurable and extensible *** scales from small bare-metal systems to large multi-core systems that run applications on top of the Linux operating system. Based on the RISC-V VP, this paper also discusses advanced VP-based verification approaches and open challenges. In combination, we provide for the first time an integrated and unified overview and perspective on advanced virtual prototyping for RISC-V.