给芯片当“健康顾问”
3S综合验证平台
CPU芯片是现代信息技术的引擎，是数据处理的核心。我们生活中用到的电脑、智能手机、电视机、电冰箱、汽车……其中都有芯片的身影，它的质量直接关系到千家万户的日常生活。
如今，芯片使用量正在呈指数级增长,对其质量的要求也越来越高。验证、测试和容错技术则是芯片质量保障的三道技术关卡。
中国科学院计算技术研究所，计算机体系结构国家重点实验室常务副主任李晓维研究员带领团队自2000年起，在科技部、国家自然科学基金委和北京市科委相关项目的资助下，紧密结合国产高性能CPU芯片的研制，实现了测试验证和片上容错设计关键技术的突破。系列研究成果曾获国家技术发明奖和国家科学技术进步奖，最新研究成果已在多款高性能CPU的设计验证、测试与容错设计中转化应用，并获得了2017年度北京市科学技术奖二等奖。
芯片也有“生病烦恼”
芯片虽然没有生命，但也和其它生命体一样面临可靠性问题，通俗可以理解为芯片的“健康”问题。
修复软件的故障（通常称之为Bug）可以通过修改源代码来实现，但是芯片的故障就不那么容易修复了。
例如在芯片设计的过程中可能会由于考虑不周，导致制造出的芯片发生功能故障。制造的过程中也会遭受芯片缺陷，导致逻辑正确的芯片仍然不能成为合格的产品，即便在服役期也会由于一些物理机理的作用产生老化等问题。
就像我们通过体检可以查验出身体可能会出现的健康问题一样，对于芯片来说，“体检”也是十分有必要的。
“简单地说，设计过程中的问题需要通过验证的方法来解决，制造过程中遭受的一些随机杂质等因素造成的缺陷可以通过芯片测试来筛除，而服役期的可靠性则必须通过设置一定的容错机制来保障了。”李晓维说。
这在很多特殊的应用领域具有非常重要的意义，也对芯片设计正确性的验证和制造缺陷的检测提出了迫切的需求。例如飞行在深空的航天装备中的芯片如果出了问题很难更换，所以对可靠性的要求尤其严苛。
给芯片做“产检”
要想让CPU芯片一出生就“健康茁壮”，在芯片的IC设计阶段，就要通过设计验证来检验设计方案是否符合规范，发现不同设计阶段引入的设计Bug。
“芯片作为人类工业史上最复杂的产业之一，设计验证是其设计流程中的瓶颈，复杂芯片设计验证所投入的人员和时间都已超过设计本身。”李晓维说。
测试和验证是非常重要的环节。如果测试和验证的环节有问题，将会导致有问题的处理器芯片组装到系统里，将可能造成巨大的经济损失。
例如，1994年Intel奔腾芯片的浮点除法错误，使Intel公司损失近5亿美元，就是因为芯片在投产前未能保证设计的正确性，事后又未能测试出该问题。
据介绍，测试验证使用的最主要的方法是模拟。该方法主要的难点在于输入的数量巨大，想要完全地测试验证处理器，需要的时间非常长。为了加速测试验证的过程，需要把输入进行分类，仅挑选每一类中的代表对处理器进行测试验证。
但处理器的设计非常复杂，输入的组合和分类情况同样是极其复杂的。于是，项目研发团队对测试验证的方法进行探索，提出了一系列形式化和半形式化的方法解决了这一难题。
“研究成果应用以来，已检出了多款芯片的设计错误，有效避免了潜在重大损失。”李晓维说。
为芯片装上“急救包”
为了应对服役期芯片的健康问题，项目团队发明了片上容错技术，将芯片内置了多种保障芯片可靠工作的功能单元。这就好比人自备“急救包”，遇到一些容易处理的伤病自己就可以解决，不必为了处理一些小问题而专程去医院。
“这种片上‘急救包’就是片上容错的核心单元。”李晓维说，这些“急救包”部署在芯片内部一些容易出现问题的位置，例如关键的运算单元、重要的数据链路等。
经过团队十余年的科研攻关，攻克了“自测试、自诊断、自修复”容错技术的难题，可以准确地检测到故障是否存在，并精确判定服役期的芯片出现故障的具体位置，从而通过预先设定的机制进行故障修复。
通过实时故障检测和修复来屏蔽局部失效核对芯片和系统整体性能的影响，能够满足相关装备高可靠性、长寿命的需求。
助力CPU芯片产业发展
据了解，该项目成果已经应用于包括安全认证芯片、星载微处理器芯片、多媒体处理核心芯片、高端通用处理器芯片等十余款高性能 CPU 的设计验证、可测试性设计与片上容错设计中，显著提升了我国微处理器的可靠设计能力，促进了我国高性能处理器验证测试技术的发展。
使用该成果的国产星载微处理器芯片已成功应用于十余个高端装备的控制计算机，运行稳定、安全可靠，取得了显著社会效益。
应用该成果的Godson-T 芯片入选了 2011 年《Microprocessor Report》杂志遴选的全球十大服务器处理器；BR 系列安全认证芯片在指纹考勤门禁领域的市场占有率超过50％。
据李晓维介绍，通过采用这项技术，他们把某款存储器芯片的成品率从30%提升到80%。
从最初的产品质量测试，到全生命周期的可靠性构建，项目团队不断致力于用技术创新促进产业链的完善。
2018年8月14日，我国集成电路测试专业委员会正式成立。李晓维担任专委会主任委员。
“委员会的成立预示着我国芯片测试与容错领域，在制定技术标准、促进产学研用融合和贯通等方面开始迈出重要一步。”李晓维告诉记者。
“为了产业的健康发展，必须要排除人为因素，通过自动化、人工智能等技术手段，进行全生命周期的安全排查。为此，建立国家行业标准，时不我待。”李晓维说。