杜慧敏 张军 赵全良 沈绪榜 殷诚信 高德远 蒋林 孟李林 董梁 郝克刚 曹小鹏 杜惠敏 朱宁洪 刘有耀 刘建元 张丽果 霍红卫 郭建 杨红丽 谭耀东 赵健 杨晓强 田泽 曾泽沧 王曙燕 谢端

着色微引擎 等价性检验 片上网络 符号模型检验 特征值分解 XPath 模态转移系统 专用集成电路 片上系统 时序机 路由算法 现场可编程门阵列 三值逻辑 高阶逻辑 环网 约束表 断言 面向对象 最大相容类 时分复用 形式验证 幂律关联性 Torus拓扑结构 Torus 分支时态逻辑 形式化规格说明 节点编码 XML 模型检验 可编程系统芯片

西安邮电学院计算机系 西安电子科技大学微电子学院 西安邮电学院ASIC中心 西北大学计算机科学系 西北工业大学计算机科学系 西安邮电学院计算机科学系 西安邮电学院计算机科学与技术系 骊山微电子公司