王海力 李思昆 边计年 张鲁峰 陈怒兴 吴宏 熊志辉 陈书明 曾献君 夏新军 孙绪红 文宏 孙永节

系统芯片（SoC） 设计概念 结构 时钟 领域 软件模拟 嵌入式系统 系统重用 电荷泵 SoC 门 ASIC验证 虚部件封装模型 蚂蚁算法 锁相环 仿真器 系统级设计 知识产权核 约束任务流图模型 接口综合 SoC系统建模 系统芯片 行为 算法 时间冗余编码 匹配 软硬件协同设计 混合综合 硬件仿真 层次化通信模型

国防科技大学计算机学院 国防科学技术大学计算机学院 湖南长沙 国防科学技术大学信息系统与管理学院 清华大学计算机科学与技术系 国防科技大学计算机研究所 湘潭工学院计算机系 国防科学技术大学计算机学院长沙