An Integrated Failure and Threat Mode and Effect Analysis (FTMEA) Framework with Quantified Cross-Domain Correlation Factors for Automotive Semiconductors

Diese Arbeit stellt ein integriertes FTMEA-Rahmenwerk für Automotive-Halbleiter vor, das durch die Einführung quantifizierter, domainsübergreifender Korrelationsfaktoren (CDCFs) eine systematische gemeinsame Analyse von funktioneller Sicherheit und Cybersecurity ermöglicht und so verborgene Risiken aufdeckt sowie die Risikopriorisierung präzisiert.

Antonino Armato, Marzana Khatun, Sebastian FischerMon, 09 Ma💻 cs

HDLFORGE: A Two-Stage Multi-Agent Framework for Efficient Verilog Code Generation with Adaptive Model Escalation

HDLFORGE ist ein zweistufiges Multi-Agenten-Framework, das durch adaptive Eskalation von kompakten zu leistungsstärkeren LLMs und einen gegenbeispielgesteuerten formalen Agenten die Genauigkeit bei der Verilog-Code-Generierung verbessert und dabei die Latenz im Vergleich zu einstufigen Systemen signifikant reduziert.

Armin Abdollahi, Saeid Shokoufa, Negin Ashrafi + 2 more2026-03-06💻 cs

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic

Dieser Beitrag stellt eine skalierbare Methode zur formalen Verifikation von Gleitkommaarithmetik vor, die durch direkte RTL-zu-RTL-Modellprüfung, eine modulare Zerlegungsstrategie und den Einsatz von KI-gestützter Eigenschaftsgenerierung mit menschlicher Rückkopplung Abstraktionslücken überwindet und eine höhere Abdeckungseffizienz als herkömmliche Ansätze erreicht.

Hansa Mohanty, Vaisakh Naduvodi Viswambharan, Deepak Narayan Gadde2026-03-05🤖 cs.AI

Lyra: A Hardware-Accelerated RISC-V Verification Framework with Generative Model-Based Processor Fuzzing

Das Paper stellt Lyra vor, ein heterogenes RISC-V-Verifikationsframework, das durch die Kombination von FPGA-basierter Hardware-Beschleunigung und einem semantisch bewussten generativen Modell (LyraGen) die Abdeckung signifikant erhöht und den Verifikationsprozess im Vergleich zu herkömmlichen Software-Fuzzern um das bis zu 3343-fache beschleunigt.

Juncheng Huo, Yunfan Gao, Xinxin Liu + 4 more2026-03-05💻 cs

When Small Variations Become Big Failures: Reliability Challenges in Compute-in-Memory Neural Accelerators

Diese Arbeit adressiert die Zuverlässigkeitsprobleme von Rechen-im-Speicher-Neuralbeschleunigern durch eine cross-layer-Optimierung, die selektive Schreibverifikationsmechanismen und ein lernbasiertes Training mit zensiertem Rauschen kombiniert, um trotz kleiner Gerätevarianzen eine robuste und sichere Inferenz zu gewährleisten.

Yifan Qin, Jiahao Zheng, Zheyu Yan + 3 more2026-03-05🤖 cs.LG

Joint Hardware-Workload Co-Optimization for In-Memory Computing Accelerators

Diese Arbeit stellt ein auf einem optimierten evolutionären Algorithmus basierendes Framework zur gemeinsamen Hardware-Workload-Optimierung vor, das generalisierte In-Memory-Computing-Architekturen entwickelt, die über verschiedene neuronale Netzwerk-Workloads hinweg robuste Leistung erzielen und im Vergleich zu herkömmlichen Methoden die Energie-Verzögerungs-Flächen-Produkte (EDAP) um bis zu 95,5 % senken.

Olga Krestinskaya, Mohammed E. Fouda, Ahmed Eltawil + 1 more2026-03-05🤖 cs.AI