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

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

本部分包括：

Command-Line Output

Sdv-map.h

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