arXiv cs.CR·4d agoSoK: You Find What You Seek: Rethinking Oracles, Guidance, and Input Generation in Hardware Fuzzing#hardware-fuzzing#systematization-of-knowledge#rtlResearch
arXiv cs.AI / cs.LG / cs.CL·4d agoEquivSVA: A Formally Verified Dataset of Behavioral Assertions Across Equivalent RTL Implementations#systemverilog#formal-verification#rtlAI research1
arXiv cs.CR·5d agoSLED-IFV: Solver-Validated LLM-Guided Decomposition for Scalable Hardware Information-Flow Verification#hardware-security#information-flow#formal-verificationResearch
arXiv cs.CR·10d agoTrust, but Validate the Instrument: Auditing AI-Generated RTL Verification Plans on Authored Security-Regression Proxies#ai-generated-code#audit#benchmarkResearch