Chip Industry Technical Paper Roundup: July 8


New technical papers recently added to Semiconductor Engineering’s library: Technical Paper Research Organizations Effect of Exchange-Correlation Functionals on Schottky Barriers at Si/Metal Interfaces NIST, University of Maryland, Johns Hopkins University AgRefactor: Self-Evolving Agentic Workflow for HLS Compatibility and Performance Carnegie Mellon University, UCLA ... » read more

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 ... » read more