李玉祥 李曦 冯晓兵 姜恒远 杨君 余洁 张兆庆 陈莉 王志刚 陈华生 周学海 米伟

仿真 代码压缩 类型恢复 微结构 源源翻译 低功耗 仿真模型 编译器 固件 软件开发环境 类型不一致 中间表示 嵌入式系统 定制指令集处理器 解决途径