曾云 王进祥 罗敏 桑胜田 郑永军 孙晓宁 喻明艳 叶以正 王新胜 朱世林 胡锦 张祥建

单双精度 原型验证 片上可编程系统 桥 行为级建模 PCI总线 目标控制器 分支预测器 SRT算法 状态机 浮点处理器 PCI 三级流水 单发射嵌入式处理器 CPI栈 现场可编程门阵列 AHB总线 片上总线 AMBA总线 流水线模数转换电路 硬件模型 时间交织 SoC

哈尔滨工业大学（威海）微电子中心 哈尔滨工业大学威海微电子中