叶以正 蒋耀林 林小拉 陈明敏

动力学方程 波形松弛法 组合冗余故障 复矩阵特征值问题 并行实现 重定时 同步时序电路 时序冗余故障

西安交通大学理学院 贝尔实验室（中国） 哈尔滨工业大学微电子中心 香港城市大学创意媒体学院 香港城市大学计算机科学系