韩俊刚 曹小鹏 孟李林 殷诚信 曾泽沧 沈绪榜 张军 董梁 刘建元 高德远 蒋林 赵全良

功能验证 图形硬件加速器 事务 符号模型检验 二叉决策图 事务处理程序 同步数字系列 着色微引擎 GPU 等价性检验 分支时态逻辑 断言

西安邮电学院ASIC中心 华中科技大学图像研究所 西安邮电学院计算机系 空军工程大学电子工程系 骊山微电子公司 西安邮电学院专用集成电路设计中心