@inproceedings{SHG:2026,
author = {Manfred Schl{\"{a}}gl and Andreas Hinterdorfer and Daniel Gro{\ss}e},
title = {A {RISC-V} {CHERI} {VP}: Enabling System-Level Evaluation of the Capability-Based {CHERI} Architecture},
booktitle = {Asia and South Pacific Design Automation Conference (ASP-DAC)},
year = 2026
}
@inproceedings{SRG:2025,
author = {Manfred Schl{\"{a}}gl and Jonas Reichhardt and Daniel Gro{\ss}e},
title = {{ProtoLens:} Dynamic Transaction Visualization in Virtual Prototypes},
booktitle = {Forum on Specification and Design Languages (FDL)},
year = 2025,
pages = {1--8},
doi = {10.1109/FDL68117.2025.11165406},
url = {https://ics.jku.at/files/2025FDL_ProtoLens.pdf},
code = {https://github.com/ics-jku/ProtoLens}
}
@inproceedings{ARG+:2025,
author = {Shahzad Ahmad and Stefan Rass and Maksim Goman and Manfred Schl{\"{a}}gl and Daniel Gro{\ss}e},
title = {Control Flow Protection by Cryptographic Instruction Chaining},
booktitle = {International Conference on Security and Cryptography (SECRYPT)},
year = 2025,
pages = {233--246},
doi = {10.5220/0013577700003979},
url = {https://ics.jku.at/files/2025SECRYPT_ControlFlowProtectionByCryptographicInstructionChaining.pdf}
}
@inproceedings{SG:2025c,
author = {Manfred Schl{\"{a}}gl and Daniel Gro{\ss}e},
title = {{FastISS RISC-V VP++}: A Simulation Performance Evaluation of {RVV} Workloads},
booktitle = {RISC-V Summit Europe},
url = {https://ics.jku.at/files/2025RISCVSummit_FastISS_RVV.pdf},
year = 2025
}
@inproceedings{SG:2025,
author = {Manfred Schl{\"{a}}gl and Daniel Gro{\ss}e},
title = {Fast Interpreter-Based Instruction Set Simulation for Virtual Prototypes},
booktitle = {Design, Automation and Test in Europe Conference (DATE)},
year = 2025,
pages = {1--7},
code = {https://github.com/ics-jku/riscv-vp-plusplus},
url = {https://ics.jku.at/files/2025DATE_Fast_Interpreter-based_ISS.pdf},
doi = {10.23919/DATE64628.2025.10992929}
}
@inproceedings{SG:2024b,
author = {Manfred Schl{\"{a}}gl and Daniel Gro{\ss}e},
title = {Single Instruction Isolation for {RISC-V} Vector Test Failures},
booktitle = {IEEE/ACM International Conference on Computer-Aided Design (ICCAD)},
year = {2024},
pages = {156:1--156:9},
doi = {10.1145/3676536.3676755},
code = {https://github.com/ics-jku/RVVTS},
url = {https://ics.jku.at/files/2024ICCAD_Single-Instruction-Isolation-for-RISC-V-Vector-Test-Failures.pdf}
}
@inproceedings{SG:2024,
author = {Manfred Schl{\"{a}}gl and Daniel Gro{\ss}e},
title = {Bounded Load/Stores in Grammar-based Code Generation for Testing the {RISC-V} Vector Extension},
booktitle = {RISC-V Summit Europe},
year = 2024,
code = {https://github.com/ics-jku/RVVTS},
url = {https://ics.jku.at/files/2024RISCVSummit_BoundedLoadStoreGrammarTestRVV.pdf}
}
@inproceedings{SSG:2024,
author = {Manfred Schl{\"{a}}gl and Moritz Stockinger and Daniel Gro{\ss}e},
title = {A {RISC-V ``V'' VP}: Unlocking Vector Processing for Evaluation at the System Level},
booktitle = {Design, Automation and Test in Europe Conference (DATE)},
pages = {1--6},
year = 2024,
url = {https://ics.jku.at/files/2024DATE_RISCV-VP-plusplus_RVV.pdf},
code = {https://github.com/ics-jku/riscv-vp-plusplus},
doi = {10.23919/DATE58400.2024.10546838}
}
@inproceedings{SG:2023,
author = {Manfred Schl{\"{a}}gl and Daniel Gro{\ss}e},
title = {{GUI-VP Kit}: A {RISC-V} {VP} Meets {Linux} Graphics - Enabling Interactive Graphical Application Development},
booktitle = {ACM Great Lakes Symposium on VLSI (GLSVLSI)},
pages = {599--605},
year = 2023,
url = {https://ics.jku.at/files/2023GLSVLSI_GUI-VP_Kit.pdf},
code = {https://github.com/ics-jku/GUI-VP_Kit},
doi = {10.1145/3583781.3590253}
}
@inproceedings{KSG:2022,
author = {Lucas Klemmer and Manfred Schl{\"{a}}gl and Daniel Gro{\ss}e},
title = {{RVVRadar:} A Framework for Supporting the Programmer in Vectorization for {RISC-V}},
booktitle = {ACM Great Lakes Symposium on VLSI (GLSVLSI)},
pages = {183--187},
year = 2022,
url = {https://ics.jku.at/files/2022GLSVLSI_RVVRadar.pdf},
code = {https://github.com/ics-jku/RVVRadar},
doi = {10.1145/3526241.3530388}
}
@inproceedings{SG:2025b,
author = {Manfred Schl{\"{a}}gl and Daniel Gro{\ss}e},
title = {{RVVTS}: A Modular, Open-Source Framework for Positive and Negative Testing of the {RISC-V ``V''} Vector Extension {(RVV)}},
booktitle = {ITG/GI/GMM-Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'' (MBMV)},
year = 2025,
url = {https://ics.jku.at/files/2025MBMV_RVVTS.pdf}
}
@inproceedings{SHG:2024,
author = {Manfred Schl{\"{a}}gl and Christoph Hazott and Daniel Gro{\ss}e},
title = {{RISC-V VP++}: Next Generation Open-Source Virtual Prototype},
booktitle = {Workshop on Open-Source Design Automation},
year = 2024,
code = {https://github.com/ics-jku/riscv-vp-plusplus},
url = {https://ics.jku.at/files/2024OSDA_RISCV-VP-plusplus.pdf}
}
@inproceedings{SHG:2023,
author = {Manfred Schl{\"{a}}gl and Christoph Hazott and Daniel Gro{\ss}e},
title = {Recent Developments in Open-source {RISC-V} Virtual Prototypes: From Vector Extensions, Tracing to {3D}-Games},
booktitle = {Special Session at Forum on specification \& Design Languages},
year = {2023},
code = {https://github.com/ics-jku/riscv-vp-plusplus}
}