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

被引:2
作者
Herdt, Vladimir [1 ,2 ]
Drechsler, Rolf [1 ,2 ]
机构
[1] Univ Bremen, Inst Comp Sci, D-28359 Bremen, Germany
[2] DFKI GmbH, Cyber Phys Syst, D-28359 Bremen, Germany
关键词
virtual prototyping; RISC-V; SystemC TLM; verification; PARTIAL-ORDER REDUCTION; MODEL CHECKING; GENERATION; DESIGN;
D O I
10.1007/s11432-020-3308-4
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Virtual prototypes (VPs) are crucial in today's design flow. VPs are predominantly created in SystemC 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 SystemC TLM and designed as a configurable and extensible platform. It 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.
引用
收藏
页数:17
相关论文
共 97 条
  • [1] Genesys-pro: Innovations in test program generation for functional processor verification
    Adir, A
    Almog, E
    Fournier, L
    Marcus, E
    Rimon, M
    Vinov, M
    Ziv, A
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2004, 21 (02): : 84 - 93
  • [2] Automated Firmware Testing using Firmware-Hardware Interaction Patterns
    Ahn, Sunha
    Malik, Sharad
    [J]. 2014 INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN AND SYSTEM SYNTHESIS (CODES+ISSS), 2014,
  • [3] Alimi V, 2014, 2014 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS), P551, DOI 10.1109/HPCSim.2014.6903734
  • [4] [Anonymous], 2012, 1666 IEEE
  • [5] [Anonymous], 2011, P FOR SPEC DES LANG
  • [6] [Anonymous], 2009, P FOR SPEC DES LANG
  • [7] Multi-accuracy power and performance transaction-level modeling
    Beltrame, Giovanni
    Sciuto, Donatella
    Silvano, Cristina
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2007, 26 (10) : 1830 - 1842
  • [8] Binkert Nathan, 2011, Computer Architecture News, V39, P1, DOI 10.1145/2024716.2024718
  • [9] Race Analysis for SystemC Using Model Checking
    Blanc, Nicolas
    Kroening, Daniel
    [J]. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2010, 15 (03)
  • [10] Bohm I., 2010, Proceedings of the 2010 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS 2010), P1, DOI 10.1109/ICSAMOS.2010.5642102