Veri-Sure: A Contract-Aware Multi-Agent Framework with Temporal Tracing and Formal Verification for Correct RTL Code Generation
Veri-Sure:一种具有时间追踪和形式验证的合同感知多智能体框架,用于正确RTL代码生成
Jiale Liu, Taiyu Zhou, Tianqi Jiang
机构
*
School of Physics and Astronomy, The University of Edinburgh, Edinburgh, UK(物理与天文学院,爱丁堡大学,爱丁堡,英国)
;
State Key Laboratory of Analog and Mixed-Signal VLSI, University of Macau, Macau(模拟与混合信号VLSI国家重点实验室,澳门大学,澳门)
;
School of Science and Engineering, The Chinese University of Hong Kong, Shenzhen, Shenzhen, China(科学与工程学院,香港中文大学(深圳))
机构
*
State Key Laboratory of Micro-nano Engineering Science(微纳工程科学国家重点实验室)
;
Micro-nano Engineering Sciences Research Center(微纳工程科学研究中心)
;
School of Mechanical Engineering, Shanghai Jiao Tong University(上海交通大学机械工程学院)
QiMeng-SALV: Signal-Aware Learning for Verilog Code Generation
QiMeng-SALV:面向Verilog代码生成的信号感知学习
Yang Zhang, Rui Zhang, Jiaming Guo, Lei Huang, Di Huang, Yunpu Zhao, Shuyao Cheng, Pengwei Jin, Chongxiao Li, Zidong Du, Xing Hu, Qi Guo, Yunji Chen
机构
*
State Key Lab of Processors, Institute of Computing Technology, CAS(处理器国家重点实验室,计算技术研究所,中国科学院)
;
University of Chinese Academy of Sciences(中国科学院大学)
;
University of Science and Technology of China(中国科学技术大学)
LLM-Empowered Event-Chain Driven Code Generation for ADAS in SDV systems
基于大语言模型的事件链驱动的ADAS代码生成方法
Nenad Petrovic, Norbert Kroth, Axel Torschmied, Yinglei Song, Fengjunjie Pan, Vahid Zolfaghari, Nils Purschke, Sven Kirchner, Chengdong Wu, Andre Schamschurko, Yi Zhang, Alois Knoll
机构
*
Federal Ministry of Research, Technology and Space of Germany(德国联邦研究、技术和空间部)
CommentsAccepted to The 5th Workshop on Mathematical Reasoning and AI at the 39th Conference on Neural Information Processing Systems (NeurIPS 2025); 25 pages, 14 figures, 8 tables; Code available at https://github.com/NaiveNeuron/FractalBench
Beyond Autoregression: An Empirical Study of Diffusion Large Language Models for Code Generation
Chengze Li, Yitong Zhang, Jia Li, Liyi Cai, Ge Li
机构
*
College of AI, Tsinghua University(清华大学人工智能学院)
;
School of Computer Science, Nanjing University(南京大学计算机科学学院)
;
School of Computer Science and Engineering, Beihang University(北航计算机科学与工程学院)
;
School of Computer Science, Peking University(北京大学计算机科学学院)