张智泉 孟李林 董梁 殷诚信 张军 曾泽沧 韩俊刚 杨康平 刘建元 曹小鹏 沈绪榜 赵全良 高德远 刘有耀 蒋林 张丽果 谭耀东 王亚刚

符号模型检验 功能验证 图形硬件加速器 拓扑结构 数字图像处理 Torus拓扑结构 时分复用 节点编码 二叉决策图 树位图 等价性检验 事务 SIMD 向量处理器 IPv6 容错 语言包含 地址查找 同步数字系列 事务处理程序 哈希表 自动机 片上网络 空分复用 互模拟 片上系统 环网 路由 断言 GPU

西安邮电学院计算机系 陕西西安 华中科技大学图像研究所 西安电子科技大学微电子学院 西安邮电学院ASIC中心 空军工程大学电子工程系 西安710071西安邮电学院计算机系西安 西安微电子技术研究所