基本信息
文件名称:AutoVeriFix: 自动纠正错误并提升 LLM 生成的 Verilog 代码的功能正确性.pdf
文件大小:3.93 MB
总页数:7 页
更新时间:2026-01-22
总字数:约2.5万字
文档摘要

AutoVeriFix:自动纠正错误并提升LLM生成的Verilog代码

的功能正确性

YanTan,XiangchenMeng,ZijunJiangandYangdiLyu

MicroelectronicsThrust,TheHongKongUniversityofScienceandTechnology(Guangzhou)

Correspondingauthor:yangdilyu@