5、嵌入式软件调试技术：仿真与动态时间断言

嵌入式软件调试技术：仿真与动态时间断言

1. 嵌入式软件仿真调试

1.1 调试平台示例

以 SoundWire 主从设备的验证系统为例，该系统基于包含 SystemC 和 RTL 组件的片上系统（SoC），在 Incisive® Enterprise Simulator 中运行。系统组成如下：
- SystemC 部分 ：
- CPU 快速模型
- 虚拟结构模型
- 内存模型
- UART 模型
- RTL（Verilog）部分 ：
- SoundWire 主设备
- SoundWire 从设备
- VIP 部分 ：
- SoundWire 从设备

1.2 Indago™ 嵌入式软件调试器

1.2.1 调试准备

使用 Indago™ 嵌入式软件调试器进行回放调试时，需要 ELF 文件和软件执行流程信息。这些信息可以是：
- 跟踪文本文件，可使用调试器的所有功能。
- 波形上的 PC 计数器跟踪，仅提供基本调试功能。
此外，还可加载包含硬件信号信息的兼容波形数据库，实现软硬件协同调试。

1.2.2 调试界面与功能

Indago™ 嵌入式软件调试器的主界面包含代码调试器和波形窗口两大部分，可同时显示软硬件信息。以向硬件写入操作为例，CPU 向 FIFO 写入数据，在硬件层面表现为 AHB 写事务。
该调试器的离线调试功能十分强大，允许在代码