刘晓晓 吴俊华 王冠军 李海军 李东海 王昊 张曙 杜振军 冯刚 宋大雷 胡靖 邵晶波 孙强 王志海 王秀芹 李光顺 杨志 彭亚丽 宋朝晖

串扰 布尔过程论 检测 定界模型检验 串行链路编码 逻辑函数 耦合电容 高层次综合 Allen-Givone代数 进程 定点数据通路 调度程序 死锁 蚂蚁算法 吴方法 控制唯一性 带状波形 多维体 模约束 多电压设计 通信矩阵 冒险 系统芯片 SoC测试调度 等价验证 Grbner基 高层次设计 时变布尔函数 高级综合 交叉单元

黑龙江哈尔滨 曲阜师范大学计算机科学学院 中国海洋大学工程学院 哈尔滨工程大学计算机科学与技术学院 黑龙江科技学院电气与信息工程学院 黑龙江科技学院计算机与信息工程学院 渤海大学信息科学与工程学院 哈尔滨工程大学信息与通信工程学院