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 条
  • [31] Dynamic partial-order reduction for model checking software
    Flanagan, C
    Godefroid, P
    [J]. ACM SIGPLAN NOTICES, 2005, 40 (01) : 110 - 121
  • [32] Godefroid P, 1996, LECT NOTES COMPUT SC, V1032, P11
  • [33] Godefroid Patrice, 2008, Network and Distributed Systems Security, V8, P151
  • [34] Grosse D, 2010, QUALITY-DRIVEN SYSTEMC DESIGN, P1, DOI 10.1007/978-90-481-3631-5
  • [35] Grosse Daniel, 2010, 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), P113, DOI 10.1109/MEMCOD.2010.5558643
  • [36] CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties
    Gruettner, Kim
    Goergen, Ralph
    Schreiner, Soeren
    Herrera, Fernando
    Penil, Pablo
    Medina, Julio
    Villar, Eugenio
    Palermo, Gianluca
    Fornaciari, William
    Brandolese, Carlo
    Gadioli, Davide
    Vitali, Emanuele
    Zoni, Davide
    Bocchio, Sara
    Ceva, Luca
    Azzoni, Paolo
    Poncino, Massimo
    Vinco, Sara
    Macii, Enrico
    Cusenza, Salvatore
    Favaro, John
    Valencia, Raul
    Sander, Ingo
    Rosvall, Kathrin
    Khalilzad, Nima
    Quaglia, Davide
    [J]. MICROPROCESSORS AND MICROSYSTEMS, 2017, 51 : 39 - 55
  • [37] Functional Coverage-Driven Characterization of RF Amplifiers
    Hassan, Muhammad
    Grosse, Daniel
    Voertler, Thilo
    Einwich, Karsten
    Drechsler, Rolf
    [J]. PROCEEDINGS OF THE 2019 FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL), 2019,
  • [38] Hassan M, 2017, DES AUT TEST EUROPE, P380, DOI 10.23919/DATE.2017.7927020
  • [39] Hedin Daniel, 2012, Software safety and security, V33, P319
  • [40] Herber P., 2008, INT C HARDW SOFTW CO, P131