Seal5: Semi-Automated LLVM Support for RISC-V ISA Extensions Including Autovectorization - Van Kempen, Philipp; Salmen, Mathis; Mueller-Gritschneder, Daniel; Schlichtmann, Ulf (IEEE, 2024)