韩俊刚 曹小鹏 孟李林 殷诚信 曾泽沧 沈绪榜 张军 董梁

功能验证 图形硬件加速器 事务 符号模型检验 二叉决策图 事务处理程序 同步数字系列 着色微引擎

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