《通信原理实验》课程电子教案（PPT讲稿）嵌入式系统设计实验——第1章 嵌入式系统概述

《通信原理实验》课程电子教案（PPT讲稿）嵌入式系统设计实验——第8章 嵌入式系统开发平台、数据队列、串口驱动、MODEM接口模块、I2C总线模块、SPI总线模块

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

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

• 形式化设计方法和过程 • 系统描述方法 – 基于模型的方法 – 基于语言的方法 • SystemC – PetriNet，1960 • 德国数学家Petri发明 • 形式化验证 – Model Checking • 属性分析 – 正确性、性能、可靠性？

1 关于树莓派 2 关于嵌入式 4 设计作业建议 5 嵌入式系统能做什么及竞赛动员

• The Effects of Power • Low Power Design – DPM based low power optimization – DVS based low power optimization • ex: Program-level optimization for multimedia – ACPI：OS supported PM – ACPI：OS supported PM – 软硬件协同低功耗设计 • Power model: Power Analysis/Estimation Tek & Tools • Temperature Aware Design • Leakage Power • Case Study – Cache、Memory、Data Center、Handheld • Conclusion

• 嵌入式处理器概述（实例） • 通用处理器体系结构 – CISC – RISC • 嵌入式处理器 • I/O系统 – 中断 – DMA

《通信原理实验》课程电子教案（PPT讲稿）嵌入式系统设计实验——第6章 最小系统、片内外设、总线接口、其它外设

《通信原理实验》课程电子教案（PPT讲稿）嵌入式系统设计实验——第4章 ARM7TDMI（-S）指令系统