@misc{indiciaeaac24b88e524,
  title = {SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety},
  author = {Xuanyi Tan and Arjun Chaudhuri and Rubin Parekhji and Krishnendu Chakrabarty},
  year = {2026},
  url = {https://arxiv.org/abs/2606.25296},
  note = {Source identifier: 2606.25296}
}