arXiv cs.CR·17d agoAutoTrans: AI-Assisted Automatic Translation of Security Assertions for RISC-V Processors#formal-verification#hardware-security-verification#llmResearch1