一、IEEE P1500嵌入式核可测性标准 二、SoC测试生成

（一）理论课程 1《微机原理及接口技术》 2《数字信号处理》 3《数字图像处理》（理论） 4《通信网络安全》 5《通信新技术》 6《专业英语》 7《EDA 技术》课程理论教学大纲 8《单片机原理》课程理论教学大纲 9《电气制图及 CAD》 10《无线通信》 11《光通信技术》理论 12《电路原理 A》 13《模拟电子电路 A》 14《数字电子电路》 15《文献检索》 16《电磁场与电磁波》 17《射频电路设计与仿真》 18《算法与数据结构》 19《通信工程导论》 20《通信电子电路》 21《信号与系统》 22《通信原理》（理论） 23《DSP 技术及应用》 24《信息论与编码》 25《移动应用软件开发》 26《全球卫星导航系统》 27《移动互联网技术》 28《物联网与云计算》 29《软件工程》 30《人工智能导论》（理论） 31《传感器原理与应用》（理论） 32《ASPNET 程序设计》 33《嵌入式系统原理与设计》（理论） 34《工程项目管理与经济决策》 35《交换原理》 36《移动通信》 37《电波与天线》 38《Matlab 通信系统仿真》 39《Python 程序设计》理论 40《计算机网络技术》（理论） （二）实验课程 41《微机原理及接口技术》 42《计算机网络技术》（实验） 43《数字信号处理》 44《数字图像处理》（实验） 45《EDA 技术》课程 46《单片机原理》课程 47《无线通信》 48《光通信技术》实验 49《通信电子电路》 50《电子技术基础实验》 51《电路原理实验》 52《信号与系统》 53《通信原理实验》 54《全球卫星导航系统》 55《人工智能导论》（实验） 56《传感器原理与应用》 57《嵌入式系统原理与设计》（实验） 58《移动通信》 59《Python 程序设计》实验 （三）实践课程 60《电工电子实习》 61《印制板微机辅助设计》 62《毕业实习》 63《专业认知实习（1）》 64《通信系统综合实训》 65《毕业设计（论文）》 66《C 语言程序概念实训》教学大纲 67《EDA 课程设计》课程设计教学大纲 68《移动通信》课程设计教学大纲 69《交换原理》课程设计教学大纲 70《光通信技术课程设计》

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）嵌入式系统形式化规范与建模（FSM，KPN，SDF）

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）实时嵌入式软件设计（控制系统，DARTS，EA，语言）

• 形式化设计方法和过程 • 系统描述方法：基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑：LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性？

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）嵌入式操作系统（uC、OSII）

《计算机应用基础 B》 《信息安全导论》 （理论课） 《信息安全概论 A》 《数据结构》 《信息安全概论》 《模式识别》 《并行计算》 《数据结构与算法》 《算法设计与分析》 《计算机应用基础》 《信息分析与评价》 《人工智能鱼》 《人工智能导论》 《计算机网络》 《计算机网络基础》 《计算机组成原理》 《计算机体系结构》 《物联网引论》 《INTERNET 网》 《FLASH 动画设计与 ASP 编程》 《Java 程序设计 B》 《汇编语言程序设计》 《可视化程序设计 A》 《数据库基础及应用》 《DELPHI 可视化编程设计》 《Java 程序设计》 《数据库系统原理》 《数据库应用基础》 《数学软件 Mathematica》 《数学软件 Matlab》 《软件工程》 《数据仓库与数据挖掘》 《嵌入式操作系统》 《程序设计语言 A（C 语言）》 《操作系统》 《面向对象程序设计》 《Java 程序设计基础》 《程序设计语言 A (C++)》 《程序设计语言 B》 《程序设计基础》 《Web 程序设计》 《Windows 程序设计》 《编译原理》 《大数据应用概论》 《企业经营决策实战》 《软件工程概论》 《软件设计模式》 《软件项目管理（双语）》 《软件需求分析与设计》 《软件质量保证与测试》 《数据库原理》 《写作与表达实训》 《现代操作系统（双语）》 《嵌入式系统原理与应用》 《组件开发技术》 《移动开发技术》 《统一建模语言》 《数据挖掘技术》 《数据库应用》 《Matlab 软件应用》 《单片机与接口技术》 《计算机图形学基础》 《网页制作技术》 《Photoshop 入门与提高》 《电子商务概论》 《多媒体课件设计》 《计算机图形学》 《电子商务实战》实习 《计算方法》 《专业英语》 《信息检索技术》

《科技论文写作》 《高等数学 A》 《线性代数》 《大学物理 C》 《物理实验 C》 《概率论与数理统计 B》 《C/C++语言程序设计 A》 《C/C++语言程序设计》实验 《电子技术》 《电子技术》实验 《数据结构 A》 《数据结构 A》实验 《数据库系统原理 A》 《数据库系统原理 A》实验和设计 《计算机组成原理》 《计算机组成原理》实验 《微机原理与接口技术 B》 《微机原理与接口技术 B》实验 《操作系统》 《操作系统》实验 《计算机网络 A》 《计算机网络 A》实验 《离散数学》 《面向对象程序设计》 《面向对象程序设计》上机 《软件工程》 《编译原理》 《编译原理》实验 《计算机系统结构》 《软件系统分析与设计》 《软件系统分析与设计》设计大纲 《软件质量保证与测试》 《软件质量保证与测试》设计大纲 《软件项目管理》 《网络系统集成技术》 《网络系统集成技术》实验 《网络管理与维护》 《嵌入式系统》 《嵌入式系统》实验 《NET 开发技术》 《NET 开发技术》实验 《Java 开发技术》 《Java 开发技术》实验 《算法设计与分析》 《算法设计与分析》实验 《计算机图形学》 《计算机图形学》实验 《Linux 操作系统》 《Linux 操作系统》实验 《管理信息系统》 《管理信息系统》实验 《软件过程改进与管理》 《软件工程日语》 《计算机网络安全》 《电子商务》 《人工智能》 《虚拟现实技术》 《虚拟现实技术》实验 《数据仓库与数据挖掘》 《数据仓库与数据挖掘》实验 《网络编程》 《网络编程》实验 《计算机组装实习》 《基于NET 数据库系统开发》课程设计大纲 《Java 软件项目开发课程设计》 《IT 项目实践》

《科技论文写作》 《高等数学 A》 《线性代数 A》 《复变函数 B》 《概率论与数理统计 B》 《大学物理 C》 《物理实验 C》 《工程制图 D》 《计算机导论》实验 《C/C++语言程序设计 B》 《C/C++语言程序设计 B》实验 《数字信号处理 A》 《数字信号处理 A》实验 《电路原理》 《电路原理实验》 《模拟电子技术基础》 《模拟电子技术基础实验》 《数字电子技术基础》 《数字电子技术基础实验》 《信号与系统 A》 《信号与系统 A》实验 《微机原理与接口技术 A》 《微机原理与接口技术 A》实验 《嵌入式系统原理与应用 A》 《嵌入式系统原理与应用 A》实验 《数据库系统原理 B》 《数据库系统原理 B》实验 《通信原理》 《通信系统原理 A》实验 《电磁场与电磁波》 《通信电子线路》 《通信电子线路》实验 《信息论与编码》 《通信网基础》 《EDA 技术及应用》 《EDA 技术及应用》设计 《通信系统仿真》 《单片机原理与应用》 《电子系统设计》 《电子系统设计》设计 《现代交换技术》 《宽带无线通信》 《光纤通信技术》 《通信技术综合实验》 《移动通信技术》 《扩频通信》 《卫星通信》 《宽带通信网络》 《数据通信与计算机网络》 《软件无线电技术》 《现代调制解调技术》 《雷达原理》 《随机信号检测与处理》 《DSP 原理及应用》 《DSP 原理及应用》实验 《智能天线技术》 《模拟识别》 《LED 技术及应用》 《金工实习 A》 《学年论文》 《认识实习》 《电子系统课程设计》 《通信系统仿真课程设计》 《生产实习》

《科技论文写作》 《高等数学 A》 《线性代数 A》 《复变函数 B》 《概率论与数理统计 B》 《大学物理 C》 《物理实验 C》 《工程制图 D》 《C/C++语言程序设计 A》 《C/C++语言程序设计》实验 《电路原理》 《电路原理实验》 《模拟电子技术基础》 《模拟电子技术基础实验》 《数字电子技术基础》 《数字电子技术基础实验》 《信号与系统 A》 《信号与系统 A》实验 《微机原理与接口技术 A》 《微机原理与接口技术 A》实验 《数据库系统原理 B》 《数据库系统原理 B》实验 《数字信号处理 A》 《数字信号处理 A》实验 《自动控制原理 B》 《通信原理》 《通信原理》实验 《电磁场与电磁波》 《通信电子线路》 《通信电子线路》实验 《信息论与编码》 《随机信号检测与处理》 《EDA 技术及应用》 《EDA 技术及应用》设计 《单片机原理与应用 A》 《单片机原理与应用 A》实验 《计算机仿真》 《计算机仿真》实验 《DSP 原理及应用》 《DSP 原理及应用》实验 《电子系统设计》 《电子系统设计》设计 《嵌入式系统原理与应用 A》 《嵌入式系统原理与应用 A》实验 《现代交换技术》 《移动通信技术》 《宽带无线通信》 《光纤通信技术》 《卫星通信》 《宽带通信网络》 《通信网基础》 《数据通信与计算机网络》 《软件无线电技术》 《专业英语》 《数字语音处理》 《数字图像处理》 《模式识别》 《LED 技术及应用》 《传感器与信号检测》 《高级语言编程课程设计》 《电子系统课程设计》 《学年论文》 《认识实习》 《金工实习 A》 《生产实习》