Search papers, labs, and topics across Lattice.
This paper introduces SafeGen, an innovative framework that utilizes large language models (LLMs) and a Hyper Knowledge Graph to enhance fault criticality evaluation in automotive chip design. By integrating formal verification with design and safety documents, SafeGen generates semantically grounded Functional Safety Assertions (FSAs) that improve the accuracy of fault criticality assessments. Experimental validation shows that SafeGen outperforms existing LLM-based methods in both assertion quality and interpretability, addressing the limitations of traditional simulation-based approaches.
SafeGen achieves a leap in fault criticality evaluation by generating high-quality, semantically grounded assertions that traditional methods fail to capture.
With advances in autonomous driving and electric vehicle technologies, functional safety has become a critical requirement in automotive chip design. Traditional simulation-based fault analysis is often overly conservative at the module level and fails to accurately reflect fault criticality. This paper presents SafeGen, an LLM-driven, formal-verification-assisted framework for functional-safety-oriented fault criticality assessment. SafeGen leverages large language models (LLMs) and a document-level Hyper Knowledge Graph (HyperKG) that incorporates Failure Modes, Effects, and Diagnostic Analysis (FMEDA) guidelines to extract verifiable specifications from design and safety documents and evaluate their relevance to overall system safety. The HyperKG is further enriched with register-transfer-level (RTL) information to guide the generation of Functional Safety Assertions (FSAs) that are both semantically grounded and design-aware. Each assertion is linked to its corresponding specification, enabling traceable reasoning throughout the assessment process. A gate-to-RTL fault-mapping mechanism supporting both stuck-at and bridging faults, combined with formal property verification (FPV), enables semantic-level fault criticality grading based on specification-linked assertion violations. A digital-physical co-simulation platform for a field-oriented control (FOC) system is developed to validate SafeGen. Experimental results demonstrate 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.
