李智 徐涛 陈燕 周祖成 王大伟 赵明 刘政林 熊悦 龚龙庆 陈双燕 吴宁 万玉鹏 张尧弼 张幂 李烨挺 陈绍贺 彭小青 王京 王东辉 罗怡桂 夏新军 杜玄 邹雪城 邱卫东 彭澄廉 陈曦 肖有军 柴志雷 何积丰 陈吉华

IEEE80211MAC 验证 SpecC 建模 综合 虚部件库 软硬件协同设计 事件驱动 系统级设计 路由器 RTOS WISHBONE总线 UART 设计方法学 调度 模拟内核 模拟 抢占 ARM7TDMI 核 非时序模型 仿真器算法 随机仿真 片上系统 GDB 系统级模型 集成电路设计 片上网络 嵌入式系统仿真 嵌入式系统 规范