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

Este artículo presenta un marco integrado de Análisis de Modos y Efectos de Fallos y Amenazas (FTMEA) para semiconductores automotrices que cuantifica las correlaciones entre seguridad funcional y ciberseguridad mediante factores de correlación interdominio, permitiendo una priorización de riesgos más precisa y una mitigación efectiva de vulnerabilidades conjuntas.

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

FPGA-Enabled Machine Learning Applications in Earth Observation: A Systematic Review

Esta revisión sistemática, que sigue las directrices PRISMA 2020, analiza 68 experimentos sobre el despliegue de modelos de aprendizaje automático en FPGAs para aplicaciones de observación terrestre, introduciendo dos taxonomías para optimizar arquitecturas y estrategias de implementación en el contexto de las nuevas tecnologías de UAV y la era NewSpace.

Cédric Léonard, Dirk Stober, Martin Schulz2026-03-06💻 cs

VMXDOTP: A RISC-V Vector ISA Extension for Efficient Microscaling (MX) Format Acceleration

Este artículo presenta VMXDOTP, una extensión de la arquitectura de conjunto de instrucciones RISC-V Vectorial diseñada para acelerar eficientemente el formato de microescalado (MX) mediante un clúster de elementos de procesamiento vectorial que logra un alto rendimiento y eficiencia energética al superar las limitaciones de las implementaciones de software y motores MX anteriores.

Max Wipfli, Gamze İslamoğlu, Navaneeth Kunhi Purayil + 2 more2026-03-06💻 cs

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

Este artículo presenta una metodología escalable para la verificación formal de la aritmética de punto flotante que, mediante un enfoque modular de comprobación de modelos RTL-a-RTL, estrategias de refinamiento guiadas por contraejemplos y la integración de inteligencia artificial generativa con supervisión humana, logra una mayor eficiencia de cobertura y reduce la dependencia de modelos de alto nivel.

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

El artículo presenta Lyra, un marco de verificación heterogéneo para RISC-V que combina la aceleración por hardware en FPGA con un modelo generativo especializado (LyraGen) para producir estímulos semánticamente ricos, logrando una cobertura significativamente mayor y una aceleración de la verificación de hasta 3343 veces en comparación con los fuzzers de software tradicionales.

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

Esta presentación aborda los desafíos de fiabilidad en los aceleradores neuronales de computación en memoria (CiM), demostrando cómo pequeñas variaciones de los dispositivos pueden causar fallos catastróficos y proponiendo soluciones de co-diseño transversal, como el mecanismo de escritura selectiva SWIM y técnicas de entrenamiento con ruido, para garantizar un despliegue robusto y seguro en aplicaciones críticas.

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

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

Este trabajo presenta un marco de co-optimización conjunta de hardware y carga de trabajo basado en un algoritmo evolutivo mejorado para diseñar arquitecturas de aceleradores de computación en memoria (IMC) generalizadas que reducen significativamente la brecha de rendimiento frente a diseños específicos de carga de trabajo, logrando disminuciones de hasta un 95,5% en el producto energía-retardo-área (EDAP) al optimizar para múltiples modelos neuronales.

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