李洪兵 张祥建 杨兵 叶以正 王晨旭 来逢昌 王进祥 桑胜田 许珂 谢学军 李晓明 刘卫华 罗敏 韩永杰 李清杰 甘初晖 王忠海

分簇 现场可编程门阵列 桥 PowerPC405处理器 双时钟 分支目标缓冲器 多媒体处理器 图模型 寄存器组 分支预测器 MPEG编解码 功能验证 软硬件划分 USB SoC 并行性 软硬件协同验证平台 片上可编程系统 可复用IP 超长指令字 CPI栈 微处理器验证 嵌入式处理器 PCI总线 片上系统 低功耗 原型验证 片上总线 TLM事务级模型 AMBA总线

哈尔滨工业大学微电子中心 黑龙江哈尔滨