RISC-V GENERATION OF HIGH PERFORMANCE AUTOMOTIVE PROCESSORS AND COMPUTING PLATFORMS

Project Information

Rigoletto

Grant agreement ID: 101194371

DOI

10.3030/101194371

EC signature date 19 May 2025

Start date 1 July 2025

End date 30 June 2028

Funded under

• Digital, Industry and Space

Total cost

€ 65 160 523,27

EU contribution

€ 18 738 887,95

Coordinated by

INFINEON TECHNOLOGIES AG
Germany

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (8)

SlimFlit: A simple Network-on-Chip for Real-Time Systems

Author(s): Tjark Petersen, Voica Gavrilut, Luca Pezzarossa, Martin Schoeberl
Published in: 2026 29th International Symposium on Real-Time Distributed Computing (ISORC), 2026
Publisher: IEEE
DOI: 10.1109/ISORC70347.2026.11605558

GenAI-Driven Approach to RISC-V Supply Chain Exploration

Author(s): Nenad Petrovic, Andre Schamschurko, Yingjie Xu, Alois Knoll
Published in: IntelliSys, Issue 2026, 2026
Publisher: The Science and Information (SAI) Organization

Evaluating the Impact of a Vector Co-Processor on a Memory System through Hybrid Simulation

Author(s): J Parker Jones, Daniel Mueller-Gritschneder
Published in: Proceedings of the 23rd ACM International Conference on Computing Frontiers: Workshops and Special Sessions, 2026
Publisher: ACM
DOI: 10.1145/3801488.3806235

Saarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification

Author(s): Aman Kumar, Deepak Narayan Gadde, Luu Danh Minh, Vaisakh Naduvodi Viswambharan, Keerthan Kopparam Radhakrishna, Sivaram Pothireddypalli
Published in: 2026
Publisher: arxiv.org

Automated Deployment of Real-Time Tasks for Phased Execution on Scratchpad-Based Multicore Platforms

Author(s): Konstantin Dudzik, Maximilian Kirschner, Jürgen Becker
Published in: 2025 IEEE 18th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC), 2025
Publisher: IEEE
DOI: 10.1109/MCSOC67473.2025.00092

Agentic AI-based Coverage Closure for Formal Verification

Author(s): Sivaram Pothireddypalli, Ashish Raman, Deepak Narayan Gadde, Aman Kumar
Published in: 2026
Publisher: arxiv.org

CAGE-V: Confidential Computing Architecture supporting Guest Enclaves for RISC-V

Author(s): Moritz Waser, Paul Gollob, Martin Unterguggenberger, Stefan Mangard
Published in: Proceedings of the ACM Asia Conference on Computer and Communications Security, 2026
Publisher: ACM
DOI: 10.1145/3779208.3807479

Knowledge Graphs, the Missing Link in Agentic AI-based Formal Verification

Author(s): Vaisakh Naduvodi Viswambharan, Keerthan Kopparam Radhakrishna, Deepak Narayan Gadde, Aman Kumar
Published in: 2026
Publisher: arxiv.org

Peer reviewed articles (1)

Foundation Models in Autonomous Driving: A Review of Current Tasks and Applications

Author(s): Artemis Stefanidou, Elena Politi, George Dimitrakopoulos
Published in: IEEE Open Journal of Intelligent Transportation Systems, Issue 6, 2025, ISSN 2687-7813
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/OJITS.2025.3633871