容错计算基础技术研究

本课题的“集成电路逻辑设计与测试基础技术研究”1999年获中国科学院自然科学二等奖。引入了布尔过程的合理性和科学意义，提出了可变双观测点的时延测试方法和寄存器传输级测试生成方法。软件测试方法在卫星《实践五号》和《资源二号》上得到了应用。在CMOS集成电路最大功耗估计、容错路由算法、自诊断的多模冗余系统及系统级故障诊断等方面都有重要进展。本课题共发表论文74篇。申请专利两项。在 国际合作方面，作为亚洲测试会议创始人之一。及IEEE寄存器传输级测试生成和可测试性设计国际研论会创建人，确立了我们在国际本领域的前沿地位。本课题已有两支转入国际重在科研计划。