Bounded Load/Stores in Grammar-based Code Generation for Testing the RISC-V Vector Extension

Activity: Talk or presentation › Poster presentation › science-to-science

Description

In this paper, we consider a Grammar-based fuzzing framework for testing the RISC-V "V" Vector Extension. We focus on one of the major challenges, namely generating valid vector load/store instruction sequences by extending a context-free grammar with functions to create elements in a context-sensitive way.
Period26 Jun 2024
Event titleRISC-V Summit Europe 2024
Event typeConference
LocationGermanyShow on map

Fields of science

  • 202017 Embedded systems
  • 202005 Computer architecture
  • 102005 Computer aided design (CAD)
  • 102 Computer Sciences
  • 102011 Formal languages

JKU Focus areas

  • Digital Transformation

Documents & Links