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