王仲 刘勤 姚志江 解永良 宫云占 吕毅 曾文斌 陈定方 张威 康葳 崔晓天

逻辑图 故障效应传播 源分析 初级输出 PO锥 特征函数 同步时序电路 振荡 逻辑初始化 异步时序电路 工作流 自动布局 敏感输入 临界路径跟踪 IDL 故障模拟 扇出源 故障信息标记 软件总线 测试产生 临界性 CORBA 有序二元判决图

中国科学院计算技术研究所CAD开放研究实... 武汉理工大学信息工程学院 北京装甲兵工程学院电子工程系 中国科学院计算技术研究所CAD室