File di output del driver statico verificatori
SDV genera diversi tipi di file di output e risultati. Questa sezione descrive i file e come usarli.
Contenuto della sezione
Quando si valutano i risultati di una verifica SDV, è necessario esaminare attentamente tutti gli output e analizzare eventuali errori.