原创力文档AutoVeriFix:自动纠正错误并提升LLM生成的Verilog代码
的功能正确性
YanTan,XiangchenMeng,ZijunJiangandYangdiLyu
MicroelectronicsThrust,TheHongKongUniversityofScienceandTechnology(Guangzhou)
Correspondingauthor:yangdilyu@
您可能关注的文档
- 促进辅助机器人在脆弱人群中的应用：心理社会和环境现实.pdf
- 一阶状态空间模型用于轻量级图像超分辨率.pdf
- 幕后揭秘：LORA 调整后的 WHISPER 在语音情感识别中的机制可解释性.pdf
- 球布朗桥扩散模型用于条件皮层厚度预测.pdf
- 天马流：并行滚动降噪得分采样 用于机器人扩散规划流程匹配.pdf
- 稀疏 BEV 融合与自视图一致性用于多视角检测和跟踪.pdf
- 通过无线网络驱动的 LLMs 演化实现无处不在的智能.pdf
- 垂直残差自动编码器用于车牌去噪和去模糊.pdf
- 基于 LLM 引导的设计方案用于金融生成模型中的量子电路 Born 机器.pdf
- 中国国家标准 GB/T 45906.3-2025变电站二次系统 第3部分：通信报文规范.pdf
- 2026年小学寒假期间安全工作实施方案范文.docx
- 学校班级、小组、宿舍学生安全信息员管理制度.docx
- 学校交通（校车）安全管理制度.docx
- 人教版八年级上册历史精品教学课件 第六单元 中华民族的抗日战争 第17课 七七事变与全民族抗战 (6).ppt
- 人教版八年级上册历史精品教学课件 期末专题复习 专题二 中国人民近代化的探索 (2).ppt
- 人教版八年级上册历史精品教学课件 第二单元 近代化的早期探索与民族危机的加剧 第5课 甲午中日战争与列强瓜分中国狂潮 (2).ppt
- 人教版八年级上册历史精品教学课件 第七单元 人民解放战争 大概念引领下的大单元复习 (4).ppt
- 人教版八年级上册历史精品教学课件 第七单元 人民解放战争 第21课 人民解放战争的胜利 (2).ppt
- 人教版八年级上册历史精品教学课件 第三单元 资产阶级民主革命与中华民国的建立 第10课 中华民国的创建 (2).ppt
- 人教版八年级上册历史精品教学课件 第四单元 新民主主义革命的开始 第12课 新文化运动 (3).ppt
文档评论（0）