11、嵌入式系统设计与规格建模全解析

嵌入式系统设计与规格建模全解析

1. 嵌入式系统设计要点

在嵌入式系统设计中，每一个新设计都需要进行评估和验证，以确保其符合预期。由于嵌入式系统效率的重要性，优化工作也至关重要。可能的优化方式众多，包括高级循环转换等高级别转换以及面向能源的优化。

设计迭代还可能包含测试生成和可测试性评估。如果在设计步骤中就考虑了可测试性问题，那么测试就需要纳入设计迭代中。在简化设计流程里，测试生成是设计迭代的可选步骤。若迭代中未包含测试生成，则必须在设计完成后进行。每一步结束时，都要更新存储库。存储库、应用映射、评估、验证、优化、可测试性考虑以及设计信息存储之间的流程细节可能会有所不同，这些操作会根据所使用的设计方法以多种不同方式相互交织。

常见的设计流程模型有很多，例如SpecC工具的设计流程，包含架构探索、通信综合以及软硬件编译等特定设计步骤，验证和评估会明确显示在每个步骤中，但被整合在一个较大的框内。还有V模型设计流程，许多德国IT项目，尤其是政府部门的项目需要遵循该模型。V模型清晰展示了软件开发过程中的不同步骤，并且包含了集成和测试阶段的模型，与简化设计流程中的测试纳入循环相呼应。较新的V模型XT允许更通用的设计步骤集合，与简化设计流程的解释相符。此外，还有瀑布模型和螺旋模型等迭代方法。

硬件设计中常用的Gajski的Y - 图表也是一种流行的模型。Gajski从行为、结构和布局三个维度考虑设计信息。设计路径通常从粗粒度的行为描述开始，以细粒度的几何描述结束，每一步都对应着通用设计流程模型的一次迭代。

自动生成设计细节的过程被称为综合。综合若成功，可避免许多手动设计步骤。“描述 - 综合”范式与传统的“指定 - 探索 - 细化”（即“设计 - 模拟