activity
20242026
most citedSPICED: Syntactical Bug and Trojan Pattern Identification in A/MS Circuits using LLM-Enhanced Detection

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.ARShow all

1 paper · 1 filter

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…