吴悦 唐毅 王岩 刘权胜 李俊红 陈进军 陆广远 冷明 周喜明 雷超付 韩霞 聂新义 刘音

系统级设计 处理器 SpecC语言 系统描述语言 预测分支 时间偏差算法 预测部件 循环选择 分布式逻辑进程模拟结构 VHDL 并行运行 分支部件 仿真 综合 乐观策略 动态负载平衡 单片多核处理器 RTL 8051 分布式系统 基于事务的验证 线程级前瞻 顺序语句 时间偏差 系统芯片 并行离散事件模拟 可综合性 容错 验证平台 同时多线程

上海大学计算机工程与科学学院 上海大学计算机学院 河北师范大学数学与信息学院 河北石家庄