机构名称：
¥ 1.0
会议：•Yu Zeng，Bo-Yuan Huang，Hongce Zhang，Aarti Gupta，Sharad Malik，从RTL设计中产生建筑级别的处理器，用于处理器和加速器的RTL设计，第一部分：确定建筑变量的建筑变量，在计算机上设计（ICCAD），ICCAD（ICCAD），ICCAD•MAKEAI MAKIAN MAKIEN LONS，AHMEDERIAI，AHMEDERIAL LONS，AHMEDERIAL LONS，AHMED AHMEDERIAL LONS，AHMED AHMED AHMED AHMED AHMED AHMED AHMED AHMED AHMED AHMED AHMED MARGAIN Yang, Hongce Zhang , Kristopher Brown, Aarti Gupta and Clark Barrett, Pono: A Flexible and Extensible SMT-based Model Checker, in Computer-aided Verification (CAV) , 2021 • Hongce Zhang , Aarti Gupta and Sharad Malik, Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking, in Verification Model Checking and Abstract解释（VMCAI），2021。•Hongce Zhang，Maxwell Shinn，Aarti Gupta，Arie Gurfikel，Nham Le和Nina Narodytska，通过可及性分析进行认知任务的复发性神经网络的验证，在欧洲人工智能（ECAI）的欧洲大会上，2020年。•Nina Narodytska，Hongce Zhang，Aarti Gupta和Toby Walsh，在国际学习表现会议（ICLR）中寻找卫星友好的二进制神经网络建筑（ICLR），2020年。•Hongce Zhang，Weikun Yang，Grigory Fedyukovich，Aarti Gupta和Sharad Malik，在验证模型检查和抽象解释（VMCAI）中，用于模块化硬件验证的环境不变性（VMCAI），2020年。Bo-Yuan Huang，Hongce Zhang，Aarti Gupta和Sharad Malik，Ilang：SOC的建模和验证平台，使用指令级抽象，用于系统构建和分析的工具和算法（TACAS）（TACAS），2019年。Bo-Yuan Huang，Hongce Zhang，Aarti Gupta和Sharad Malik，Ilang：SOC的建模和验证平台，使用指令级抽象，用于系统构建和分析的工具和算法（TACAS）（TACAS），2019年。•Hongce Zhang，Caroline Trippel，Yatin A. Manerkar，Aarti Gupta，Aarti Gupta，Margaret Martonosi和Sharad Ma-Maik，Ila-MCM：Ila-MCM：将记忆一致性模型与指导级抽象与异构系统 - chiper-chip chip chip verii chiperifienforcation in-in-chiperforcation in-in-chip-chip-chiperforcation in Sumper-nor-clander/in gramcaded in of Computer-aver-aver-aver-aver-aver-aver>•Jangseop Shin，Hongce Zhang，Jinyong Lee，Ingoo Heo，Yu-Yuan Chen，Ruby B. Lee和Yunheung Paek，这是一种基于硬件的技术隐性信息流动跟踪，在国际计算机辅助设计（ICCAD）的国际会议上（ICCAD），2016
Hongce Zhang
主要关键词
相关文件推荐
![引用：R Cheng，Z Chen，S C Yuan，M Takeaka，S Takagi，G Q Han和R Zhang，GE和GESN MOSFET的移动性增强技术[J]。 J. Semico](/simg/5/55d067308d0cfb297fafb18c475789cd624e8ccf.webp)
