静态驱动程序验证程序输出文件

SDV 生成多种不同类型的输出和结果文件。 本部分介绍文件及其使用方法。

本节包括：

命令行输出

Sdv-map.h

评估 SDV 验证结果时，必须仔细检查所有输出并调查任何错误。