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

一、模拟Windows文本编辑器程序设计 二、 菜单设计 三、工具栏与状态栏 四、通用对话框 五、数据文件 六、RichTextBox控件

时序电路的信号变化特点： 同步时序电路以时钟信号为驱动；电路内部信号的变化 （或输出信号的变化）只发生在特定的时钟边沿；其他时刻 输入信号的变化对电路不产生影响；

• 实时任务约束模型 – Assumptions about task timing, interaction • 任务调度算法Scheduling Algorithm – Scheduling mode and selection function • Timeliness: deadline，worst response time，。。。 • efficiency: average response time，makespan – Prioritized goals • Temporal predictability first，performance second • 可调度分析Schedulability Test – Prediction of worst-case behavior – 基于CPU利用率(workload analysis) • for preemptive and strictly periodic tasks？ – WCRT(Response time analysis) • for preemptively feasible task sets with D ≤ T • Timing Analysis(WCET分析)

• 嵌入式系统概述 – 嵌入式系统的定义 – 嵌入式系统的特征与指标 – 嵌入式系统分类 • 发展方向：CPS • 热点应用示例 – 汽车电子

14. 复杂代码设计要领 15. 层次化设计与元件语句（component ） 16. 代码复制（generate定义语句） 17. 复杂电路的代码结构

工艺设计是对工件进行数控加工的前期工艺准备工作， 合理的工艺设计方案是数控编程的依据。编程人员必须首先 搞好工艺设计，然后再考虑编程

1. 什么是有限状态机？ 2. FSM的应用 3. 使用FSM设计电路有何好处？ 4. VHDL代码FSM的组成、分类 5. 单进程状态机 & 多进程状态机 6. Moore状态机 & Mealy状态机 7. 状态编码的选择 8. 状态机应用实例：SDRAM控制器

一、逻辑结构设计的任务 二、概念结构是各种数据模型的共同基础 三、为了能够用某一DBMS实现用户需求，还必须将概念结构进一步转化为相应的数据模型，这正是数据库逻辑结构设计所要完成的任务

6.1 时序逻辑电路的基本概念 6.2 时序逻辑电路的分析方法 6.3 同步时序逻辑电路的设计方法