TY  - RPRT
TI  - SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety
AU  - Xuanyi Tan
AU  - Arjun Chaudhuri
AU  - Rubin Parekhji
AU  - Krishnendu Chakrabarty
PY  - 2026
UR  - https://arxiv.org/abs/2606.25296
ID  - 2606.25296
ER  -