GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure
GoGoTB:基于规范驱动覆盖闭合的智能体式RTL验证
Xin Xin, Jincheng Lou, Junhui Li, Jinglin Yan, Panda Xiao, Di Wu, Haixiao Li, Weicong Lu, Weijian Fan, Xinyu Qu, Yuxiang Zhao, Min Yu, Zhixiong Di, Yibo Lin
机构
*
Tencent(腾讯)
;
School of Integrated Circuits, Peking University(北京大学集成电路学院)
;
Southwest Jiaotong University(西南交通大学)
;
Institute of Electronic Design Automation, Peking University(北京大学电子设计自动化研究所)
;
Beijing Advanced Innovation Center for Integrated Circuits(北京集成电路高精尖创新中心)
CaM-Wolf: Causal-Aware Multimodal Agents for Social Deduction Games
CaM-Wolf:面向社交推理游戏的因果感知多模态智能体
Zheng Zhang, Nanjie Yao, Jiarui He, Deheng Ye, Peilin Zhao, Hao Wang
机构
*
The Hong Kong University of Science and Technology (Guangzhou)(香港科技大学(广州))
;
Nanyang Technological University(南洋理工大学)
;
Shanghai Jiao Tong University(上海交通大学)