您当前的位置:首页 > 研究团队 > 集成电路实验室 > 团队介绍 >
团队介绍
时间:2012-06-01 16:17:12      点击 :次      来源:      收藏

针对计算机体系结构领域十分突出的“可靠性”问题:研究高端计算机和微处理器这类复杂巨系统的可靠性原理和在不十分可靠的部件基础上保障系统具有高可用性的新机制;研究保障高性能处理器生产质量的测试方法和保证高性能处理器设计正确性的验证方法,研究针对多核体系结构的可靠计算技术。研究十万个以上处理器核构成的超大规模计算机系统的容错和高可用性的新原理、新机制。处理器的规模膨胀使得传统测试方法成本过高,需要对测试数据和测试时间进行有效压缩;规模的膨胀也使得基于模拟的验证方法难以应付,需要研究结合形式化的新的验证方法。多核体系结构增加了性能,但集成过多的处理器核使得整个芯片稳定工作变得十分困难,需要研究基于自检测、自诊断和自恢复的片上可靠计算基础技术,研究基于自调节的可靠计算新结构和自恢复的可靠计算基础技术。