孙科 张振 李成 欧阳一鸣 时峰 杨羽 程作仁 陶芳泽 张溯 林慧君 马俊 梁华国 黄正峰 伍乾汉 梁斌 强文义 徐文福 陈田

系统芯片 Verilog 扩展前缀编码 测试数据压缩 IP 姿态调整 总线协议检验器 评估程序 待验证模块 在轨服务 游程编码 编码 激励 共游程码 自由飘浮机器人 验证 认证平台 C单元 内建自测试 并发内建逻辑块观察器 实现 软错误 设计 验证平台 功能复用 压缩解压 功能验证 变长码 空间机器人 Golomb码

合肥工业大学计算机与信息学院 安庆师范学院教育技术系 安徽安庆 广东深圳 安徽合肥 哈尔滨工业大学控制科学与工程系 安庆师范学院教育科学与技术系 哈尔滨工业大学深圳研究院深圳空间技术发展...