Showing 2025Show all
3 papers · 1 filter
cs.CR2025
COBRA: Catastrophic Bit-flip Reliability Analysis of State-Space Models
Sanjay Das, Swastik Bhattacharya, Shamik Kundu +3
State-space models (SSMs), exemplified by the Mamba architecture, have recently emerged as state-of-the-art sequence-modeling frameworks, offering linear-time scalability together…
cs.AR2025
SafeCiM: Investigating Resilience of Hybrid Floating-Point Compute-in-Memory Deep Learning Accelerators
Swastik Bhattacharya, Sanjay Das, Anand Menon +3
Deep Neural Networks (DNNs) continue to grow in complexity with Large Language Models (LLMs) incorporating vast numbers of parameters. Handling these parameters efficiently in trad…
cs.LG2025
Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion Dataset
Anand Menon, Samit S Miftah, Shamik Kundu +7
Hardware verification is crucial in modern SoC design, consuming around 70% of development time. SystemVerilog assertions ensure correct functionality. However, existing industrial…