1.  首页 >> 资源库 >> 中文 >> 计算所人才库
王天成  高级工程师  


                                        
研究方向：

                                        
所属部门：处理器芯片重点实验室

                                        
导师类别：

                                        
联系方式：wangtiancheng@ict.ac.cn

                                        
个人网页：

                                    

                                

                            


                        

                    

                

            

            

                

                    

                        

                            

                                
简       历：

                                

                                    
2022年9月 — 今：中科院计算所，高级工程师
2011年9月 — 2022年9月：中科院计算所，工程师
2009年7月 — 2011年9月：中科院计算所，助理工程师
2006年9月 — 2009年7月：中科院计算所，计算机系统结构，硕士生
2002年9月 — 2006年7月：中科大，计算机系，本科生

                                

                            

                            

                                
主要论著：

                                

                                    
[1] Huina Chao, Huawei Li, Xiaoyu Song, Tiancheng Wang, Xiaowei Li: Evaluating and Constraining Hardware Assertions with Absent Scenarios, Journal of Computing Science and Technology(JCST), 2020, Vol.35, No.5, pp.1198-1216.
[2] Huina Chao, Huawei Li, Xiaoyu Song, Tiancheng Wang, Xiaowei Li: On Evaluating and Constraining Assertions Using Conflicts in Absent Scenarios. Proceedings of IEEE 26th Asian Test Symposium(ATS), 2017: 195-200
[3] 周艳红，王天成，李华伟，吕涛，李晓维：基于路径约束求解的多目标状态激励生成方法，计算机学报，2016年9期：1829-1842。
[4] 杨爽，王天成，李华伟：一款基于SPARC V8指令集体系结构的系统芯片的功能验证，南通大学学报（自然科学版），2016年4期：9-16。
[5] 周君，李华伟，王天成，李晓维：面向3维片上网络的轻量级细粒度容错机制，计算机研究与发展，2016年2期：341-353。
[6] Yanhong Zhou, Tiancheng Wang, Huawei Li, Tao Lv, Xiaowei Li: Functional Test Generation for Hard-to-reach States Using Path Constraint Solving, IEEE Transaction on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2016, Vol. 35, No.6, pp.999-1011. 
[7] Jian Wang, Huawei Li, Tao Lv, Tiancheng Wang, Xiaowei Li, Sandip Kundu: Abstraction-Guided Simulation Using Markov Analysis for Functional Verification, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2016, Vol.35, No. 2, pp. 285-297.
[8] Huina Chao, Huawei Li, Tiancheng Wang, Xiaowei Li and Bo Liu: An accurate algorithm for computing mutation coverage in model checking, Proceedings. of IEEE 47th International Test Conference (ITC), 2016, Paper 16.2.
[9] Yingxin Qiu, Huawei Li, Tiancheng Wang, Bo Liu, Yingke Gao, Xiaowei Li: Property Coverage Analysis Based Trustworthiness Verification for Potential Threats from EDA Tools. Proceedings of IEEE 25th Asian Test Symposium(ATS), 2016: 43-48.
[10] Yanhong Zhou, Huawei Li, Tiancheng Wang, Bo Liu, Yingke Gao, Xiaowei Li: Path Constraint Solving based Test Generation for Observability-enhanced Branch Coverage, Proceedings of IEEE 34th VLSI Test Symposium (VTS), 2016, Paper 1B-2.
[11] 刘婧，王天成，王健，李华伟：基于指令模板的通用处理器约束随机指令生成方法，计算机工程，2015年10期：309-313。
[12] Yanhong Zhou, Tiancheng Wang, Tao Lv, Huawei Li, Xiaowei Li: Path Constraint Solving Based Test Generation for Hard-to-Reach States. Proceedings of IEEE 22th Asian Test Symposium(ATS), 2013: 239-244.

                                

                            

                            

                                
科研项目：

                                

                                    
[1] 国家自然科学基金重大项目：专用处理器智能生成，课题骨干
[2] 国家自然科学基金重点项目：差错容忍计算器件基础理论与方法，课题骨干


                                

                            

                            

                                
获奖及荣誉：

                                

                                    
中科院计算所优秀工程师（2013，2015）
中科院计算所优秀共产党员（2016、2021）
体系结构国家重点实验室优秀员工（2020、2021）