LLM-driven, Formal Verification-Assisted Framework For Functional-Safety-Oriented Fault Criticality Assessment (ASU, TI)
Researchers from Arizona State University and Texas Instruments India published a technical paper titled “SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety.”
Abstract Excerpt:
“This paper presents SafeGen, an LLM-driven, formal-verification-assisted framework for functional-safety-oriented fault criticality assessment.” The paper also reports that “SafeGen generates higher-quality assertions than existing LLM-based assertion generation frameworks while providing greater semantic interpretability in fault criticality assessment compared with traditional simulation-based approaches.”
Find the technical paper here. June 2026.
Tan, Xuanyi, Arjun Chaudhuri, Rubin Parekhji, and Krishnendu Chakrabarty. “SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety.” arXiv preprint arXiv:2606.25296 (2026).
Leave a Reply
How it works
Once you click Generate, Ollama reads this article and crafts 5 comprehension questions. Your answers are graded against the article content — general knowledge won't be enough. Score 70+ to count toward your certificate.
Questions are cached — you'll always get the same 5 for this article.