胡靖 邵晶波 李东海 吴俊华 王昊 李光顺 王秀芹 刘晓晓

定界模型检验 高层次综合 吴方法 低功耗 高层次设计 形式验证 定点数据通路 最小费用最大流增量算法

曲阜师范大学计算机科学学院 哈尔滨工程大学计算机科学与技术学院 黑龙江科技学院计算机与信息工程学院 哈尔滨师范大学计算机科学与信息工程学院省...