SlimFlit: A simple Network-on-Chip for Real-Time Systems
(öffnet in neuem Fenster)
Autoren:
Tjark Petersen, Voica Gavrilut, Luca Pezzarossa, Martin Schoeberl
Veröffentlicht in:
2026 29th International Symposium on Real-Time Distributed Computing (ISORC), 2026
Herausgeber:
IEEE
DOI:
10.1109/ISORC70347.2026.11605558
GenAI-Driven Approach to RISC-V Supply Chain Exploration
Autoren:
Nenad Petrovic, Andre Schamschurko, Yingjie Xu, Alois Knoll
Veröffentlicht in:
IntelliSys, Ausgabe 2026, 2026
Herausgeber:
The Science and Information (SAI) Organization
Evaluating the Impact of a Vector Co-Processor on a Memory System through Hybrid Simulation
(öffnet in neuem Fenster)
Autoren:
J Parker Jones, Daniel Mueller-Gritschneder
Veröffentlicht in:
Proceedings of the 23rd ACM International Conference on Computing Frontiers: Workshops and Special Sessions, 2026
Herausgeber:
ACM
DOI:
10.1145/3801488.3806235
Saarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification
Autoren:
Aman Kumar, Deepak Narayan Gadde, Luu Danh Minh, Vaisakh Naduvodi Viswambharan, Keerthan Kopparam Radhakrishna, Sivaram Pothireddypalli
Veröffentlicht in:
2026
Herausgeber:
arxiv.org
Automated Deployment of Real-Time Tasks for Phased Execution on Scratchpad-Based Multicore Platforms
(öffnet in neuem Fenster)
Autoren:
Konstantin Dudzik, Maximilian Kirschner, Jürgen Becker
Veröffentlicht in:
2025 IEEE 18th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC), 2025
Herausgeber:
IEEE
DOI:
10.1109/MCSOC67473.2025.00092
Agentic AI-based Coverage Closure for Formal Verification
Autoren:
Sivaram Pothireddypalli, Ashish Raman, Deepak Narayan Gadde, Aman Kumar
Veröffentlicht in:
2026
Herausgeber:
arxiv.org
CAGE-V: Confidential Computing Architecture supporting Guest Enclaves for RISC-V
(öffnet in neuem Fenster)
Autoren:
Moritz Waser, Paul Gollob, Martin Unterguggenberger, Stefan Mangard
Veröffentlicht in:
Proceedings of the ACM Asia Conference on Computer and Communications Security, 2026
Herausgeber:
ACM
DOI:
10.1145/3779208.3807479
Knowledge Graphs, the Missing Link in Agentic AI-based Formal Verification
Autoren:
Vaisakh Naduvodi Viswambharan, Keerthan Kopparam Radhakrishna, Deepak Narayan Gadde, Aman Kumar
Veröffentlicht in:
2026
Herausgeber:
arxiv.org
