闵应骅 王伟 宫云战 李华伟 杨士元 朱小荣 林建京 骆祖莹

等价性检验 故障覆盖率 异或门展开 层次化设计方法 软件测试 集成电路测试 时延故障 HSPICE

清华大学自动化系 中国科学院研究生院 中国科学院研究生院北京 中国科学院计算技术研究所 中国科学院计算机系统结构重点实验室 中国科学院计算技术研究所信息网络室 中国科学院计算技术研究所信息网络研究室 北京100080中国科学院研究生院北京