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

定界模型检验 高层次综合 吴方法 低功耗 高层次设计 形式验证 定点数据通路 最小费用最大流增量算法 层次化方差分析 可满足性 电压簇 SoC测试调度 控制唯一性 Grbner基 电路结构 流水测试 vanishing多项式 参数约简 时延 多电压设计 漏功耗 共享资源的通信代数 等价性检验 可观无关性

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