论文Agent 与开发者多源确认精选09:11AutoTrans：RISC-V安全断言自动翻译框架AutoTrans能自动将RISC-V安全断言从一种架构翻译到另一种，比人工翻译快且准确，解决了LLM翻译的幻觉问题。#AutoTrans#RISC-V#Deepseek V4#硬件安全2 个信源在谈事件专题aarXiv: DeepSeek@Sharjeel Imtiaz 等 3 人3 个信源在谈原文稍后读已读值得跟进有用关注 AutoTrans
论文12:01Chiplet 与 LLM 时代的硬件设计与安全这篇论文把 chiplet 和 LLM 两个热点合在一起聊硬件安全，既有攻击面分析也有防御方案，做芯片安全的值得看看。#chiplet#LLM#EDA#硬件安全aarXiv cs.AI@Johann Knechtel 等 4 人原文稍后读已读值得跟进有用关注 chiplet
论文10:35CHARGE框架：用CWE层次结构生成硬件安全断言用GPT-4.1给硬件RTL自动生成安全断言，Hack@DAC'21上89%能跑通，还抓到一个新bug，做芯片安全的值得看。#CHARGE#CWE#SystemVerilog#GPT-4.11 个信源在谈事件专题aarXiv: OpenAI@Xiao Tan, Cynthia Sturton2 个信源在谈原文稍后读已读值得跟进有用关注 CHARGE