付蔚 詹文法 景新幸 鲍跃魁 戴庆元 金渝 王虹现 靖岗 孙亚楠 何积丰 叶懋 郝金光 杨夏 邹雪城 郑南宁 宋敏 汤清华 闫浚 王平 吴小霞 邱相艳 黄伟 蒋敬旗 孙飞 易冬柏 周宁 葛启健 马俊 沈福民 冯宇

实时操作系统 模拟时序模型 验证 自动售货机 顺序状态逻辑 硬件描述语言 8位微控制器 代数语义 帧同步 FPGA 观察模型 范式归约 区间时态逻辑 二进制补码 VHDL 事件调度 翻译 数据抽取 片内多址 SoC Cygwin 实现 离散事件调度 步进电机驱动 操作语义 事件 自适应算术编码 数字复接 线性随机波形产生器 可靠性