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

符号模型检验 模态转移系统 图形硬件加速器 高阶逻辑 等价性检验 时态逻辑 GPU 分支时态逻辑 三值逻辑 事务处理程序 事务 断言 硬件设计 形式验证 不完全Kripke结构 模型检验 二叉决策图 功能验证 同步数字系列 着色微引擎

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