From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification
从概念到实践:一种自动化的LLM辅助UVM机器用于RTL验证
Junhao Ye, Yuchen Hu, Ke Xu, Dingrong Pan, Qichun Chen, Jie Zhou, Shuai Zhao, Xinwei Fang, Xi Wang, Nan Guan, Zhe Jiang
机构
*
School of Integrated Circuits, Southeast University(东南大学集成电路学院)
;
National Center of Technology Innovation for EDA(国家EDA技术创新中心)
;
College of Economics, Shenzhen University(深圳大学经济学院)
;
School of Computer Science and Engineering, Sun Yat-sen University(中山大学计算机科学与工程学院)
;
Department of Computer Science, University of York(约克大学计算机科学系)
;
Department of Computer Science, City University of Hong Kong(香港城市大学计算机科学系)
专题命中
知识编辑与模型理解
:LLM(title);large language model(abstract);language model(abstract);分类 cs.AI
RCP: Representation Consistency Pruner for Mitigating Distribution Shift in Large Vision-Language Models
RCP:一种用于缓解大视觉-语言模型中分布偏移的表示一致性剪枝方法
Jianwei Zhang, Chaoning Zhang, Sihan Cao, Wang Liu, Pengcheng Zheng, Jiaxin Huang, Caiyan Qin, Yalan Ye, Wei Dong, Yang Yang
机构
*
School of Computer Science and Engineering, University of Electronic Science and Technology of China(电子科技大学计算机科学与工程学院)
;
Machine Learning Department, Mohamed bin Zayed University of Artificial Intelligence(穆罕默德·本·扎耶德人工智能大学机器学习系)
;
School of Robotics and Advanced Manufacture, Harbin Institute of Technology, Shenzhen(哈尔滨工业大学(深圳)机器人与先进制造学院)
LAG-XAI: A Lie-Inspired Affine Geometric Framework for Interpretable Paraphrasing in Transformer Latent Spaces
LAG-XAI:一种受李群启发的仿射几何框架用于Transformer潜在空间中的可解释性改写
Olexander Mazurets, Olexander Barmak, Leonid Bedratyuk, Iurii Krak
机构
*
Khmelnytskyi National University(赫梅利尼茨基国立大学)
;
Taras Shevchenko National University of Kyiv(基辅塔拉斯·舍甫琴科国立大学)
;
V.M. Glushkov Institute of Cybernetics of NAS of Ukraine(乌克兰国家科学院V.M.格卢什科夫控制论研究所)
CommentsThis submission contains both an English translation and the original German version. The German version was originally published in the Proceedings of the 71st GfA Conference (2025)
Journal refProceedings of the 71st GfA Conference, Aachen, Germany, GfA-Press, 2025, pp. 812-817