UCAgent: An End-to-End Agent for Block-Level Functional Verification
UCAgent:一种端到端的块级功能验证代理
Junyue Wang, Zhicheng Yao, Yan Pi, Xiaolong Li, Fangyuan Song, Jinru Wang, Yunlong Xie, Sa Wang, Yungang Bao
机构
*
State Key Lab of Processors, Institute of Computing Technology, CAS(中国科学院计算技术研究所处理器国家重点实验室)
;
University of Chinese Academy of Sciences(中国科学院大学)
;
Beijing Institute of Open Source Chip(北京开源芯片研究院)
Spectral Coherence Index: A Model-Free Metric for Protein Structural Ensemble Quality Assessment
谱相干指数:一种无模型的蛋白质结构集合质量评估指标
Yuda Bi, Huaiwen Zhang, Jingnan Sun, Vince D Calhoun
机构
*
Tri-institutional Center for Translational Research in Neuroimaging and Data Science (TReNDS), Georgia State University, Georgia Institute of Technology, and Emory University(三机构神经影像与数据科学转化研究中心(TReNDS),佐治亚州立大学,佐治亚理工学院,埃默里大学)
;
School of Computer Science and Technology, Xidian University(西安电子科技大学计算机科学与技术学院)
;
Departments of Biomedical Engineering, Johns Hopkins University(约翰霍普金斯大学生物医学工程系)
;
School of Electrical and Computer Engineering, Georgia Institute of Technology(佐治亚理工学院电气与计算机工程学院)
机构
*
Center of Excellence SAKTI, Research Institute Intelligent Business & Sustainable Economy, Telkom University(Telkom大学智能商业与可持续经济研究所SAKTI卓越中心)
;
Biomedical Engineering Study Program, School of Electrical Engineering, Telkom University(Telkom大学电气工程学院生物医学工程研究项目)
;
Research Center for Smart Mechatronics, National Research and Innovation Agency (BRIN)(国家研究与创新署智能机电一体化研究中心)
Coupling Quantum Mechanical Modeling and Molecular Dynamics on Heterogeneous Supercomputers for Studying Distal Mutation Effects on Drug Binding in HIV-1
在异构超级计算机上结合量子力学建模和分子动力学研究HIV-1中距突变对药物结合的影响
William Dawson, Louis Beal, Marco Zaccaria, Luigi Genovese