SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety

Xuanyi Tan, Arjun Chaudhuri, Rubin Parekhji +1

With advances in autonomous driving and electric vehicle technologies, functional safety has become a critical requirement in automotive chip design. Traditional simulation-based f…