2 papers
cs.AR2026
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…
cs.CR2023
Theoretical Patchability Quantification for IP-Level Hardware Patching Designs
Wei-Kai Liu, Benjamin Tan, Jason M. Fung +1
As the complexity of System-on-Chip (SoC) designs continues to increase, ensuring thorough verification becomes a significant challenge for system integrators. The complexity of ve…