Mutation-based Compliance Testing for RISC-V

Herdt, Vladimir; Tempel, Soren; Grose, Daniel; Drechsler, Rolf

doi:10.1145/3394885.3431584

Cited by 2 publications

(1 citation statement)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In a first step, a set of mutation classes, tailored for the RISC-V ISA, is defined. In the second step, symbolic execution techniques are leveraged to generate a test-suite that kills all mutations in the ISS (that implements the RISC-V ISA) [85].…”

Section: Compliance Testingmentioning

confidence: 99%

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

Herdt

Drechsler

2021

Sci. China Inf. Sci.

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Section: Compliance Testingmentioning

confidence: 99%