刘积仁 王永峰 周志强 郭晓东 余克清

嵌入式软件 硬件描述语言 协同设计 协同模拟 逻辑仿真模型 虚拟系统集成 事件驱动算法 嵌入式系统 离散事件模型 协同验证 指令集模拟器

东北大学软件中心新技术部 东北大学计算机软件国家工程研究中心