主要来源arXiv: DeepSeek
查看原文事件专题 ·官方一手
AutoTrans：RISC-V安全断言自动翻译框架
AutoTrans是一个自动化框架，解决RISC-V处理器安全断言翻译的高成本问题。该框架使用基于正则表达式的SystemVerilog信号提取器防止信号幻觉，通过模板确保提示参数字节级一致性，并集成JasperGold FPV形式验证过程。实验显示，在Deepseek V4上实现78%自动翻译接受率，经人工修正后达100%。
当前结论
AutoTrans能自动将RISC-V安全断言从一种架构翻译到另一种，比人工翻译快且准确，解决了LLM翻译的幻觉问题。
3 个信源58° AI 热度最后更新 2026/9/9 11:31:30
证据链
3 个信源冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。